Tools ans Studies of Formal Techniques - Petri nets and Temporal Logic. - Matti Anttila; Harri Eriksson; Jukka Ikonen; Raimo Kujansuu; Leo Ojala; Heikki Tuominen (Protocol Specification, Testing, and Verification, 1983)