2024-07-102024-07-102024-07-10https://infoscience.epfl.ch/handle/20.500.14299/132699Hybrid Systems: Computation and Control - 5th International Workshop, HSCC 2002