For citations:

Samonov A.V., Samonova G.N. Methodology and Tools for Development and Verification of formal fUML Models of Requirements and Architecture for Complex Software and Hardware Systems. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2018;30(5):123-146. (In Russ.) https://doi.org/10.15514/ISPRAS-2018-30(5)-8