2023-04-242023-04-24https://publica.fraunhofer.de/handle/publica/440438Workshop on Formal Co-Simulation of Cyber-Physical Systems 2022