Time petri nets for analyzing and verifying time dependent communication protocols (1983)

by Miguel Menasche, Bernard Berthomieu
Venue:In Protocol Specification, Testing, and Verification