2022-03-012022-03-01https://publica.fraunhofer.de/handle/publica/65585International Conference on Integrated Formal Methods (IFM)<10, 2013, Turku> 2013