References
- Cassandras , C. G. and Lafortune , S. L. 1999 . Introduction to Discrete Event Systems , Dordercht, , The Netherlands : Kluwer Academic Publishers .
- Clarke , E. M. and Heinle , W. 1999 . “ Modular Translation of Statecharts to SMV ” . Technical Report CMU-CS-00-XXX, Carnegie-Mellon University School of Computer Science
- Douglass , B. P. 1998 . Real Time UML – Developing Efficient Objects for Embedded Systems , Massachusetts : Addison-Wesley .
- Frey , G. Formal methods in PLC control demonstrated at a flexible manufacture line . American Control Conference . pp. 501 – 508 . Deventer, , The Netherlands : Kluwer, B.V. .
- Gamma , E. , Helm , R. , Johnson , R. and Vlissides , J. 1995 . Design Patterns: Elements of Reusable Object-Oriented Software , Massachusetts : Addison Wesley .
- Harel , D. 1987 . StateCharts: a visual formalism for complex systems . Sci. Comput. Programming , : 231 – 274 .
- Latella , D. , Majzik , I. and Massink , I. 1999 . Automatic verification of a behavioural subset of UML statechart diagrams using the SPIN model-checker . Form. Asp. Comput. , 11 : 637 – 664 .
- Lightfoot , D. 1991 . Formal specification using Z , Macmillan Press: Hamilton . 1991
- Samek , M. and Montgomery , P. 2000 . State-oriented programming . Embedded Systems Programming , 8 : 22 – 43 .
- Seshia , S. A translation of Statecharts to Esterel . Proceedings of the 1st World Congress on Formal Methods (FM'99) . pp. 983 – 1007 . Berlin-Heidelberg : Springer .
- Shin-ichiro , Ie. , Yamada , N. and Shinbori , T. An automated control logic generation method for plant sequential-control . Proceedings of the 1996 IEEE International Symposium on Computer-Aided Control System Design . pp. 206 – 211 . Dearborn, MI
- Sommerville , I. 2004 . Software Engineering, , 7th edition , London : Pearson Education .