Formal Platform-Independent Design of Real-Time Systems. - A. Sintoski; Dieter K. Hammer; Onno S. van Roosmalen; Jozef Hooman (ECRTS, 2001)