@article{Benveniste2012877,
    Author = {Benveniste, Albert and Bourke, Timothy and Caillaud, Beno{\^ i}t and Pouzet, Marc},
    File = {Non-standard semantics of hybrid systems modelers - Benveniste, Bourke, Caillaud, Pouzet (0) (0) - a - a - f.pdf},
    ISSN = {0022-0000},
    Journal = {Journal of Computer and System Sciences},
    Keywords = {hybrid automata},
    Note = {\<ce:title>In Commemoration of Amir Pnueli\</ce:title>},
    Number = {3},
    Pages = {877 - 910},
    Title = {Non-standard semantics of hybrid systems modelers},
    URL = {http://www.sciencedirect.com/science/article/pii/S0022000011001061},
    Volume = {78},
    Year = {2012},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0022000011001061},
    bdsk-url-2 = {http://dx.doi.org/10.1016/j.jcss.2011.08.009},
    date-added = {2012-05-31 11:36:15 +0200},
    date-modified = {2012-05-31 09:36:35 +0000},
    doi = {10.1016/j.jcss.2011.08.009}
}

@article{Benveniste2012877, Author = {Benveniste, Albert and Bourke, Timothy and Caillaud, Beno{\^ i}t and Pouzet, Marc}, File = {Non-standard semantics of hybrid systems modelers - Benveniste, Bourke, Caillaud, Pouzet (0) (0) - a - a - f.pdf}, ISSN = {0022-0000}, Journal = {Journal of Computer and System Sciences}, Keywords = {hybrid automata}, Note = {\<ce:title>In Commemoration of Amir Pnueli\</ce:title>}, Number = {3}, Pages = {877 - 910}, Title = {Non-standard semantics of hybrid systems modelers}, URL = {http://www.sciencedirect.com/science/article/pii/S0022000011001061}, Volume = {78}, Year = {2012}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0022000011001061}, bdsk-url-2 = {http://dx.doi.org/10.1016/j.jcss.2011.08.009}, date-added = {2012-05-31 11:36:15 +0200}, date-modified = {2012-05-31 09:36:35 +0000}, doi = {10.1016/j.jcss.2011.08.009} }