Waldmann, Uwe Automation of Logic, MPI for Informatics, Max Planck Society;
Damm, W., Disch, S., Hungar, H., Pang, J., Pigorsch, F., Scholl, C., et al. (2006). Automatic Verification of Hybrid Systems with Large Discrete State Space. In S. Graf, & W. Zhang (Eds.), Automated Technology for Verification and Analysis, 4th International Symposium, ATVA 2006 (pp. 276-291). Berlin, Germany: Springer.