Proceedings of the 13th ACM international conference on Hybrid systems computation and control - Johansson, Karl Henrik (Verfasser); Association for Computing Machinery-Digital Library; ACM Special Interest Group on Embedded Systems (ACM, 2010)