2023-04-242023-04-24https://publica.fraunhofer.de/handle/publica/440437Workshop on Formal Integrated Development Environment 2022