2022-03-012022-03-01https://publica.fraunhofer.de/handle/publica/61925International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2007