V. A. Nepomniaschy, Victor S. Argirov, Dmitri M. Beloglazov, Alexandre V. Bystrov, Eugene A. Chetvertakov, Tatiana G. Churina. Modeling and verification of the SDL-specified communication protocols using high-level Petri nets. Programming and Computer Software, 34(6):330-340, 2008. [doi]
Abstract is missing.