Eunkyoung Jee, Shaohui Wang, Jeong-Ki Kim, Jaewoo Lee, Oleg Sokolsky, Insup Lee. A Safety-Assured Development Approach for Real-Time Software. In 16th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2010, Macau, SAR, China, 23-25 August 2010. pages 133-142, IEEE Computer Society, 2010. [doi]
Abstract is missing.