1. Fabricatore, C.: Learning and Videogames: An Unexploited Synergy. In: 2000 AECT National Convention. Springer Science + Business Media, Secaucus (2000)
2. Rajib Mall. Fundamentals of Software Engineering. Prentice-Hall of India Private Limited. Rajkamal Electric of India Private Limited
3. Jensen, K., Kristensen, L.: Coloured Petri Nets: Modelling and Validation of Concurrent Systems. Springer (2009) ISBN: 978-3-642-00283-0
4. Bérard, B., Bidoit, M., Finkel, A., Laroussinie, F., Petit, A., Petrucci, L., Schnoebelen, P.: Systems and Software Verification. Model-Checking Techniques and Tools. Springer (2001)
5. Clarke, E.M., Grumberg, O., Peled, D.: Model checking. MIT Press (1999)