1. C. Baier and J.-P. Katoen . 2008. Principles of Model Checking . MIT Press . C. Baier and J.-P. Katoen. 2008. Principles of Model Checking. MIT Press.
2. Thomas Ball , Mayur Naik , and Sriram K. Rajamani . 2003. From Symptom to Cause: Localizing Errors in Counterexample Traces . In Proc. of POPL'03 . ACM, 97--105. Thomas Ball, Mayur Naik, and Sriram K. Rajamani. 2003. From Symptom to Cause: Localizing Errors in Counterexample Traces. In Proc. of POPL'03. ACM, 97--105.
3. Debugging of Behavioural Models with CLEAR
4. Debugging of Behavioural Models using Counterexample Analysis
5. Visual Debugging of Behavioural Models