Verification of Estelle-Specified Communication Protocols Using High-Level Petri Nets.
Valery A. NepomniaschyGennady I. AlekseevAlexandre V. BystrovSergey P. MylnikovE. V. OkunishnikovaP. A. ChubarevTatiana G. ChurinaPublished in: Program. Comput. Softw. (2001)