Journal: Real-Time Systems

Volume 26, Issue 2

135 -- 159M. Elizabeth C. Hull, S. Ewart, J. R. Paul Hanna. Modeling Complex Real-Time and Embedded Systems-The UML and DORIS Combination
161 -- 197Jorge Real, Alfons Crespo. Mode Change Protocols for Real-Time Systems: A Survey and a New Proposal
199 -- 222Jae Kwon Kim, Byung Kook Kim. Probabilistic Schedulability Analysis of Harmonic Multi-Task Systems with Dual-Modular Temporal Redundancy