2023-01-022023-01-02https://publica.fraunhofer.de/handle/publica/430442International Conference on Computer-Aided Verification 2022