Ratschan, Stefan Programming Logics, MPI for Informatics, Max Planck Society;
Damm, W., Pinto, G., & Ratschan, S. (2005). Guaranteed Termination in the Verification of LTL Properties of Non-linear Robust Discrete Time Hybrid Systems. In Automated technology for verification and analysis: Third International Symposium, ATVA 2005 (pp. 99-113). Berlin, Germany: Springer.