1. Akhtar, Z.: Model based automotive system design: a power window controller case study. Master’s thesis, University of Waterloo (2015)
2. Alur, R., et al.: Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) infusion pump control system. Int. J. Softw. Tools Technol. Transfer 5(4), 308–319 (2004)
3. Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press, Cambridge (2008)
4. Clarke Jr., E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)
5. Fazaeli, R.: Translating from a natural language to a target temporal formalism. Final Year Project (2002)