| |
| 1993 | ||
|---|---|---|
| 3 | Petri Pulli, Marko Heikkinen, Raino Lintulampi: Graphical Animation as a Form of Prototyping Real-Time Software Systems. Real-Time Systems 5(2-3): 173-195 (1993) | |
| 2 | René Elmstrøm, Raino Lintulampi, Mauro Pezzè: Giving Semantics to SA/RT by Means of High-Level Times Petri Nets. Real-Time Systems 5(2-3): 249-271 (1993) | |
| 1991 | ||
| 1 | Veikko Seppänen, Marko Heikkinen, Raino Lintulampi: SPADE - Towards Case Tools That Can Guide Design. CAiSE 1991: 222-239 | |
| 1 | René Elmstrøm | [2] |
| 2 | Marko Heikkinen | [1] [3] |
| 3 | Mauro Pezzè | [2] |
| 4 | Petri Pulli | [3] |
| 5 | Veikko Seppänen | [1] |