For citations:

Gromov M.L., Shabaldina N.V. Using balm-ii for Deriving Cascade Parallel Composition of Timed Finite State Machines. Modeling and Analysis of Information Systems. 2016;23(6):715-728. (In Russ.) https://doi.org/10.18255/1818-1015-2016-6-715-728