Verification of telecommunication systems specified using communicating finite-state automata using colored Petri nets. - Dmitri M. Beloglazov; Mikhail Mashukov; V. A. Nepomnyashchiy (Autom. Control. Comput. Sci., 2012)