Podelski, A. (2000). Model Checking as Constraint Solving. In J., Palsberg (Ed.), Proceedings of the 7th International Symposium on Static Analysis (SAS-00) (pp. 221-237). Berlin, Germany: Springer.