Delzanno, G., & Podelski, A. (2001). Constraint-based Deductive Model Checking. International Journal on Software Tools for Technology Transfer (STTT), 3(3), 250-270.