A. Sintoski, Dieter K. Hammer, Onno S. van Roosmalen, Jozef Hooman. Formal Platform-Independent Design of Real-Time Systems. In 13th Euromicro Conference on Real-Time Systems (ECRTS 2001), 13-15 June 2001, Delft, The Netherlands, Proceedings. pages 163-170, IEEE Computer Society, 2001. [doi]
Abstract is missing.