2022-09-212022-09-21https://publica.fraunhofer.de/handle/publica/425982International Conference on Tools and Algorithms for the Construction and Analysis of Systems 2022