@INPROCEEDINGS{NonnengartHSCC00,
        AUTHOR             = {Andreas Nonnengart},
        BOOKTITLE          = {Proceedings of the 3rd International Workshop HSCC 2000},
        EDITOR             = {Nancy Lynch and Bruce H.~Krogh},
        PAGES              = {352--365},
        PUBLISHER          = {Springer Verlag, LNCS 1790},
        TITLE              = {Hybrid Systems Verification by Location Elimination},
        YEAR               = {2000}
}