Jozef Hooman, Onno S. van Roosmalen. An Approach to Platform Independent Real-Time Programming: (1) Formal Description. Real-Time Systems, 19(1):61-85, 2000.
@article{HoomanR00,
title = {An Approach to Platform Independent Real-Time Programming: (1) Formal Description},
author = {Jozef Hooman and Onno S. van Roosmalen},
year = {2000},
tags = {programming, systematic-approach},
researchr = {https://researchr.org/publication/HoomanR00},
cites = {0},
citedby = {0},
journal = {Real-Time Systems},
volume = {19},
number = {1},
pages = {61-85},
}