DYANA: An Environment for Distributed System Design and Analysis. - Anatoly G. Bakhmurov; Ruslan L. Smeliansky (Parcella, 1996)

DYANA: An Environment for Embedded System Design and Analysis. - Anatoly G. Bakhmurov; A. P. Kapitonova; Ruslan L. Smeliansky (TACAS, 1999)

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)

Problems of instrumental support for the development of distributed embedded real-time systems. - Anatoly G. Bakhmurov; R. L. Smelyansky (Program. Comput. Softw., 2013)

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)

Stopwatch Automata-Based Model for Efficient Schedulability Analysis of Modular Computer Systems. - Alevtina B. Glonina; Anatoly G. Bakhmurov (PaCT, 2017)