HSCC'10 : proceedings of the 13th ACM international conference on hybrid systems: computation and control : April 12-15, 2010 : Stockholm, Sweden. : HSCC 2010 : annual conference on hybrid systems : 3rd cyber-physical systems week (CPSWeek) : Apr 2010, Stockholm, Sweden.