@article{DBLP:journals/rts/PulliHL93,
author = {Petri Pulli and
Marko Heikkinen and
Raino Lintulampi},
title = {Graphical Animation as a Form of Prototyping Real-Time Software
Systems},
journal = {Real-Time Systems},
volume = {5},
number = {2-3},
year = {1993},
pages = {173-195},
ee = {http://dx.doi.org/10.1007/BF01088587},
bibsource = {DBLP, http://dblp.uni-trier.de}
}