Yunhui Peng, Yanhong Huang, Ting Su, Jian Guo. Modeling and Verification of AUTOSAR OS and EMS Application. In Seventh International Symposium on Theoretical Aspects of Software Engineering, TASE 2013, 1-3 July 2013, Birmingham, UK. pages 37-44, IEEE, 2013. [doi]
Abstract is missing.