2022-11-022022-11-02https://publica.fraunhofer.de/handle/publica/428135International Symposium on Automated Technology for Verification and Analysis 2022