HSCC '03
: Hybrid Systems: Computation and Control
Prague, The Czech Republic
, April 3-5, 2003