Animation in CONRAD: informal analysis of timing properties. - Tarmo Kaldma; Leo Motus; Toomas Tommingas; Rein Paluoja; Jaanus Tekko (RTS, 1994)

A Q-model approach to decomposition and aggregation of specifications of real-time systems. - Rein Paluoja (RTS, 1995)