@TECHREPORT{nonnengartTR99,
        AUTHOR             = {Andreas Nonnengart},
        ADDRESS            = {Saarbr{\"u}cken, Germany},
        INSTITUTION        = {Max-Planck-Institute for Computer Science},
        MONTH              = {November},
        NUMBER             = {MPI-I-1999-2-006},
        TITLE              = {A Deductive Model Checking Approach for Hybrid Systems},
        YEAR               = {1999}
}