@inproceedings{Alur:2011:FVH:2038642.2038685,
    Address = {New York, NY, USA},
    Author = {Alur, Rajeev},
    BookTitle = {Proceedings of the Ninth ACM International Conference on Embedded Software},
    File = {Formal Verification of Hybrid Systems - Alur (0) (0) - a - a - u.pdf},
    ISBN = {978-1-4503-0714-7},
    Keywords = {control systems, formal methods, hybrid systems, model checking},
    Location = {Taipei, Taiwan},
    Pages = {273--278},
    Publisher = {ACM},
    Series = {EMSOFT '11},
    Title = {Formal Verification of Hybrid Systems},
    URL = {http://doi.acm.org/10.1145/2038642.2038685},
    Year = {2011},
    acmid = {2038685},
    bdsk-url-1 = {http://doi.acm.org/10.1145/2038642.2038685},
    bdsk-url-2 = {http://dx.doi.org/10.1145/2038642.2038685},
    date-added = {2013-11-27 17:04:18 +0000},
    date-modified = {2013-11-27 17:04:18 +0000},
    numpages = {6},
    doi = {10.1145/2038642.2038685}
}

@inproceedings{Alur:2011:FVH:2038642.2038685, Address = {New York, NY, USA}, Author = {Alur, Rajeev}, BookTitle = {Proceedings of the Ninth ACM International Conference on Embedded Software}, File = {Formal Verification of Hybrid Systems - Alur (0) (0) - a - a - u.pdf}, ISBN = {978-1-4503-0714-7}, Keywords = {control systems, formal methods, hybrid systems, model checking}, Location = {Taipei, Taiwan}, Pages = {273--278}, Publisher = {ACM}, Series = {EMSOFT '11}, Title = {Formal Verification of Hybrid Systems}, URL = {http://doi.acm.org/10.1145/2038642.2038685}, Year = {2011}, acmid = {2038685}, bdsk-url-1 = {http://doi.acm.org/10.1145/2038642.2038685}, bdsk-url-2 = {http://dx.doi.org/10.1145/2038642.2038685}, date-added = {2013-11-27 17:04:18 +0000}, date-modified = {2013-11-27 17:04:18 +0000}, numpages = {6}, doi = {10.1145/2038642.2038685} }