Jozef Hooman Onno S. van Roosmalen An Approach to Platform Independent Real-Time Programming: (1) Formal Description. 61-85 2000 19 Real-Time Systems 1 db/journals/rts/rts19.html#HoomanR00