How the story of UniTESK technology applications mirrors development of model based testing - V. P. Ivannikov; A. K. Petrenko; V. V. Kuliamin; A. V. Maksimov (Труды Института системного программирования РАН, 2018)