Hybrid systems : computation and control : HSCC'10, proceedings of the 13th ACM international conference, Stockholm, Sweden, April, 12-15, 2010 - Thiagarajan, P. S. 1948- (ACM - Association for Computing Machinery, 2010)