Vojnar, T.2022-03-022022-03-022019978-3-030-17464-4978-3-030-17465-1https://publica.fraunhofer.de/handle/publica/166580Tools and Algorithms for the Construction and Analysis of Systems. 25th International Conference, TACAS 2019. Proceedings. Pt.II