2023-01-022023-01-02https://publica.fraunhofer.de/handle/publica/430473International Workshop on Software Certification 2022