Melliar-Smith. From state machines to temporal logic: specification methods for protocol standards (1982)

by Richard L Schwartz, P Michael
Venue:IEEE Transactions on Communications