@misc {IOPORT.70922092,
    author       = {Bu, Lei and Zhao, Jianhua and Li, Xuandong},
    title        = {Path-oriented reachability verification of a class of nonlinear hybrid automata using convex programming},
    howpublished = {VMCAI, 78-94 (2010).},
    year         = {2010},
    doi          = {10.1007/978-3-642-11319-2_9},
    identifier   = {70922092},
}