Graphics based prototyping of real-time systems. - Raino Lintulampi; Petri Pulli (RSP, 1990)

SPADE - Towards Case Tools That Can Guide Design. - Veikko Seppänen; Marko Heikkinen; Raino Lintulampi (CAiSE, 1991)

Giving Semantics to SA/RT by Means of High-Level Times Petri Nets. - René Elmstrøm; Raino Lintulampi; Mauro Pezzè (Real Time Syst., 1993)

Graphical Animation as a Form of Prototyping Real-Time Software Systems. - Petri Pulli; Marko Heikkinen; Raino Lintulampi (Real Time Syst., 1993)