Matti Anttila Harri Eriksson Jukka Ikonen Raimo Kujansuu Leo Ojala Heikki Tuominen Tools ans Studies of Formal Techniques - Petri nets and Temporal Logic. 139-148 1983 Protocol Specification, Testing, and Verification db/conf/ifip/pstv83.html#AnttilaEIKOT83