Fabricio Rusu-Banu, Yingxu Wang. Formal Description of Time Management in Real-Time Operating Systems. In Proceedings of the Canadian Conference on Electrical and Computer Engineering, CCECE 2007, May 7, 10, 2006, Ottawa Congress Centre, Ottawa, Canada. pages 1300-1303, IEEE, 2006. [doi]
Abstract is missing.