@misc {IOPORT.70760745,
    author       = {Plaku, Erion and Kavraki, Lydia E. and Vardi, Moshe Y.},
    title        = {Hybrid systems: from verification to falsification},
    howpublished = {CAV, 463-476 (2007).},
    year         = {2007},
    doi          = {10.1007/978-3-540-73368-3_48},
    identifier   = {70760745},
}