Hybrid systems: Computation and control 6th international workshop, HSCC 2003, Prague, Czech Republic, April 3-5, 2003 ; proceedings (Springer, 2003)