Analysis and verification of message sequence charts of distributed systems with the help of coloured Petri nets. - Sergey A. Chernenok; Valery A. Nepomniaschy (Autom. Control. Comput. Sci., 2015)