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)