"Современные методы описания функциональных требований к системам" - читать интересную книгу автора (Коберн А.)