A hardware-in-the-loop simulation environment for real-time systems development and architecture evaluation. - Vasily V. Balashov; Anatoly G. Bakhmurov; Maxim V. Chistolinov; Ruslan L. Smeliansky; Dmitry Yu. Volkanov; Nikita V. Youshchenko (Int. J. Crit. Comput. Based Syst., 2010)

Integrated environment for the analysis and design of distributed real-time embedded computing systems. - R. L. Smelyansky; Anatoly G. Bakhmurov; Dmitry Yu. Volkanov; E. V. Chemeritskii (Program. Comput. Softw., 2013)

How to make a simple tool for verification of real-time systems. - Igor V. Konnov 001; Vladislav V. Podymov; Dmitry Yu. Volkanov; Vladimir A. Zakharov; Daniil A. Zorin (Autom. Control. Comput. Sci., 2014)

A combined toolset for the verification of real-time distributed systems. - Dmitry Yu. Volkanov; Vladimir A. Zakharov; Daniil A. Zorin; Vladislav V. Podymov; Igor V. Konnov 001 (Program. Comput. Softw., 2015)

Method for Choosing a Balanced Set of Fault-Tolerance Techniques for Distributed Computer Systems. - Dmitry Yu. Volkanov (Autom. Control. Comput. Sci., 2017)