From State Machines to Temporal Logic: Specification Methods for Protocol Standards.

Richard L. Schwartz P. M. Melliar-Smith From State Machines to Temporal Logic: Specification Methods for Protocol Standards. 55-65 1983 conf/acs/1983 The Analysis of Concurrent Systems db/conf/acs/acs1983.html#SchwartzM83