Tarmo Kaldma, Leo Motus, Toomas Tommingas, Rein Paluoja, Jaanus Tekko. Animation in CONRAD: informal analysis of timing properties. In Sixth Euromicro Workshop on Real-Time Systems, RTS 1994, Vaesteraas, Sweden, June 15-17, 1994. Proceedings. pages 220-225, IEEE, 1994. [doi]
Abstract is missing.