For citations:

Beloglazov D.M., Mashukov M.Yu., Nepomniaschy V.A. Verification of Telecommunication Systems Specified by Communicating Finite Automata with the Help of Coloured Petri Nets. Modeling and Analysis of Information Systems. 2011;18(4):144-156. (In Russ.)