Petri Pulli Marko Heikkinen Raino Lintulampi Graphical Animation as a Form of Prototyping Real-Time Software Systems. 173-195 1993 5 Real-Time Systems 2-3 db/journals/rts/rts5.html#PulliHL93