5M Otter,M Remelhe,S Engell et al. Hybrid Models of Physical Systems and Discrete Controllers[EB/OL].http://www.op.dlr. de/ FF-DR-ER/staff/pjm/papers/at00/main.pdf , 2000-06-27 被引量：1
6David Harel ,Ammon Naamad.The STATEMATE semantics of statecharts[J].ACM Transactions on Software Engineering and Methodology,1996; 5 (4): 293～333 被引量：1
7Amn Mulpur. VisSim A New Statemate Extension For Hybrid Modeling and Simulation[C].In:Statemate Users Conference,Ottobrunn,1999 被引量：1
9J Bohn ,W Damm, H Wittke et al. Modeling and Validating Train System Applications Using Statemate and Live Sequence Charts[M].Integrated Design and Process Technology ,USA ,2002 被引量：1
10K Bogdanov,M Holcombe. Statechart Testing Method for Aircraft Control Systems[J].Software Testing,Verification and Reliability,2001;11:39～54 被引量：1
