Real-time : theory in practice, REX Workshop, Mook, The Netherlands, June 3-7, 1991 : proceedings - Bakker, J. W. de 1939- (Springer-Verlag, 1992)