Formal Platform-Independent Design of Real-Time Systems.

A. Sintoski, Dieter K. Hammer, Onno S. van Roosmalen, Jozef Hooman

Browse the full ECRTS paper archive.