Zhigang Gao, Zhaohui Wu, Ruizhi Ye, Long Yue. A Model-Based Development Method for SmartOSEK OS. In Fifth International Conference on Computer and Information Technology (CIT 2005), 21-23 September 2005, Shanghai, China. pages 781-787, IEEE Computer Society, 2005. [doi]
Abstract is missing.