1. AUTOSAR Partnership, Automotive Open System Architecture (last visited Nov. 2009). URL http://www.autosar.org.
2. Testing Concurrency and Communication in Distributed Objects;Bader,1998
3. Software Architecture in Practice;Bass,2003
4. BOSCH Automotive Handbook;Bauer,2000
5. Belli, F. and A. Hollmann, Test Generation and Minimization with “Basic” Statecharts, in: SAC, 2008, pp. 718–723.