Insik Shin, Insup Lee. A Compositional Framework for Real-Time Embedded Systems. In Miroslaw Malek, Edgar Nett, Neeraj Suri, editors, Service Availability, Second International Service Availability Symposium, ISAS 2005, Berlin, Germany, April 25-26, 2005, Revised Selected Papers. Volume 3694 of Lecture Notes in Computer Science, pages 137-148, Springer, 2005. [doi]
Abstract is missing.