2022-03-022022-03-02https://publica.fraunhofer.de/handle/publica/111658Highly Adaptable and Trustworthy Software using Formal Models