An interpreter for heterogeneous prototypes of embedded software - Pulli, Petri (Publications, 1991)