References
- Edmund M. Clarke, Jeannette M. Wing, "Formal methods: state of the art and future directions", ACM Computing Surveys(CSUR), 1996.
- Clarke, E. M. AND EMERSON, E. A. 1981. Synthesis of synchronization skeletons for branching time temporal lock. In Logic of Programs: Workshop,(Yorktown Heights, NY), Vol. 131 of Lecture Notes in Computer Science, Springer-Verlag.
- Kaufmann, Matt, J. Strother Moore, and Panagiotis Manolios. Computer-aided reasoning: an approach. Kluwer Academic Publishers, 2000.
- Jim Woodcock, "Using Z : specification, refinement and proof", Prentice Hall, Englewood Cliffs, 1996.
- The B-book: Assigning Programs to Meanings. Cambridge University Press, Cambridge,MA.
- David Harel, "Statecharts: A Visual formalism for Complex Systems", Science of Computer Programming. Vol. 8, issue 3, pp. 231-274, 1987 https://doi.org/10.1016/0167-6423(87)90035-9
- The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley, Reading,MA.
- Behrmann, Gerd, Alexandre David, and Kim G. Larsen. "A Tutorial on Uppaal 4.0", vol. http://www. it.uu.se/research/group/darts/papers/texts/new-tutorial.pdf(2006).
- David Harel and Ammon Naamad, "The STATEMATE Semantics of Statecharts", ACM Trans. Soft. Eng. Method, Oct. 1996.