Поиск в словарях
Aadl
Axiomatic Architecture Description Language