The Development of Tools for Verification and Validation of Communication Protocols. - Raimo Kujansuu; Leo Ojala; Heikki Tuominen (PSTV, 1982)

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)

Elementary net systems and dynamic logic. - Heikki Tuominen (European Workshop on Applications and Theory in Petri Nets, 1988)

Translations from Epistemic into Dynamic Logic. - Heikki Tuominen (ECAI, 1988)

Proving Properties of Elementary Net Systems with a Special-Purpose Theorem Prover. - Heikki Tuominen (Automatic Verification Methods for Finite State Systems, 1989)

Dynamic Logic as a Uniform Framework for Theorem Proving in Intensional Logic. - Heikki Tuominen (CADE, 1990)

Embedding a Dialect of SDL in PROMELA. - Heikki Tuominen (SPIN, 1999)