2023-01-272023-01-27https://publica.fraunhofer.de/handle/publica/434482International Conference on Software Engineering and Formal Methods 2022