@chapter{SuenagaHasuo,
    Author = {Suenaga, Kohei and Hasuo, Ichiro},
    BookTitle = {Automata, Languages and Programming},
    File = {Programming with Infinitesimals A While-Language for Hybrid System Modeling - Suenaga, Hasuo (0) (0) - a - a - o.pdf},
    Keywords = {hybrid automata and nonstandard analysis},
    Pages = {392--403},
    Series = {Lecture Notes in Computer Science},
    Title = {Programming with Infinitesimals: A While-Language for Hybrid System Modeling},
    Volume = {6756},
    Year = {2011},
    bdsk-url-1 = {http://www.springerlink.com/content/52713762186565q5/fulltext.pdf},
    bdsk-url-2 = {http://dx.doi.org/10.1007/978-3-642-22012-8\_31},
    date-added = {2012-05-31 10:59:52 +0200},
    date-modified = {2012-05-31 09:07:02 +0000},
    file-2 = {Programming with Infinitesimals A While-Language for Hybrid System Modeling - Suenaga, Hasuo (1) (0) - a - a - o.pdf},
    doi = {10.1007/978-3-642-22012-8_31}
}

@chapter{SuenagaHasuo, Author = {Suenaga, Kohei and Hasuo, Ichiro}, BookTitle = {Automata, Languages and Programming}, File = {Programming with Infinitesimals A While-Language for Hybrid System Modeling - Suenaga, Hasuo (0) (0) - a - a - o.pdf}, Keywords = {hybrid automata and nonstandard analysis}, Pages = {392--403}, Series = {Lecture Notes in Computer Science}, Title = {Programming with Infinitesimals: A While-Language for Hybrid System Modeling}, Volume = {6756}, Year = {2011}, bdsk-url-1 = {http://www.springerlink.com/content/52713762186565q5/fulltext.pdf}, bdsk-url-2 = {http://dx.doi.org/10.1007/978-3-642-22012-8_31}, date-added = {2012-05-31 10:59:52 +0200}, date-modified = {2012-05-31 09:07:02 +0000}, file-2 = {Programming with Infinitesimals A While-Language for Hybrid System Modeling - Suenaga, Hasuo (1) (0) - a - a - o.pdf}, doi = {10.1007/978-3-642-22012-8_31} }