2024-07-112024-07-112024-07-11https://infoscience.epfl.ch/handle/20.500.14299/18608128th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (ETAPS 2022)