For citations:
Ivannikov V.P., Petrenko A.K., Kuliamin V.V., Maksimov A.V. How the story of UniTESK technology applications mirrors development of model based testing. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2013;24. (In Russ.)