1. IEC 61882:2001: Hazard and operability studies (HAZOP studies)– Application guide. IEC, Geneva (2001)
2. Lecture Notes in Computer Science;W.M.P. Aalst van der,1997
3. Karamanolis, C.T., Giannakopoulou, D., Magee, J., Wheater, S.M.: Model checking of workflow schemas. In: Proceedings of the 4th International Conference on Enterprise Distributed Object Computing, EDOC 2000, pp. 170–181. IEEE Computer Society, Washington, DC (2000)
4. Fields, R.E.: Analysis of Erroneous Actions in the Design of Critical Systems. PhD thesis, University of York (January 2001)
5. Formal Verification Group, School of Computing, University of UTAH: Murphi Model Checker,
http://www.cs.utah.edu/formal_verification/Murphi