2024-07-112024-07-112024-07-11https://infoscience.epfl.ch/handle/20.500.14299/183401HSCC 2013 - Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, Part of CPSWeek 2013