Formal Description of Time Management in Real-Time Operating Systems. - Fabricio Rusu-Banu; Yingxu Wang (CCECE, 2006)