Harry Rudin;Colin H. West
-;-
PROTEAN: A High-Level Petri Net Tool for the Specification and Verification of Communication Protocols
IEEE Transactions on Software Engineering
Towards the automatic generation of quality-of-service-preserving implementations from formal specifications
Computer Communications