Linh T. X. Phan, Insup Lee, Oleg Sokolsky. A Semantic Framework for Mode Change Protocols. In 17th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2011, Chicago, Illinois, USA, 11-14 April 2011. pages 91-100, IEEE Computer Society, 2011. [doi]
Abstract is missing.