Sanjoy K. Baruah, Haohan Li, Leen Stougie. Towards the Design of Certifiable Mixed-criticality Systems. In Marco Caccamo, editor, 16th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2010, Stockholm, Sweden, April 12-15, 2010. pages 13-22, IEEE Computer Society, 2010. [doi]