1. Prosyd: Property-based system design (2005). http://www.prosyd.org/
2. Ball T, Naik M, Rajamani S (2003) From symptom to cause: Localizing errors in counterexample traces. In: Principles of programming languages, pp 97–105
3. Ben-David S, Eisner C, Geist D, Wolfsthal Y (2003) Model checking at IBM. Form Methods Syst Des 22(2):101–108
4. Chechik M, Gurfinkel A (2005) A framework for counterexample generation and exploration. In: Proceedings of FASE’05, pp 217–233
5. Chockler H, Grumberg O, Yadgar A (2008) Efficient automatic STE refinement using responsibility. In: TACAS, pp 233–248