A development technique and formalization means for functional specifications of systems and devices - A. B. Godlevskij; N. M. Mishchenko; M. K. Morokhovets; O. D. Felizhanko; N. N. Shchegoleva (Cybernetics and Systems Analysis, 2016)