http://www.cis.ksu.edu/santos/case-studies/Counterexample_case_study/
