Yingxu Wang, Cyprian F. Ngolah, Guangping Zeng, Philip Sheu, C. Choy, Yousheng Tian. The Formal Design Model of a Real-Time Operating System (RTOS+): Conceptual and Architectural Frameworks. IJSSCI, 2(2):105-122, 2010. [doi]
@article{WangNZSCT10,
title = {The Formal Design Model of a Real-Time Operating System (RTOS+): Conceptual and Architectural Frameworks},
author = {Yingxu Wang and Cyprian F. Ngolah and Guangping Zeng and Philip Sheu and C. Choy and Yousheng Tian},
year = {2010},
doi = {10.4018/jssci.2010040106},
url = {http://dx.doi.org/10.4018/jssci.2010040106},
tags = {operating system, architecture, C++, design},
researchr = {https://researchr.org/publication/WangNZSCT10},
cites = {0},
citedby = {0},
journal = {IJSSCI},
volume = {2},
number = {2},
pages = {105-122},
}