et al., Specification and verification of communication protocols in AFFIRM using state transition models (1982)

by C A Sunshine
Venue:IEEE Trans. Software Engrg