Jähnichen, S.Lemoine, M.Maibaum, T.Wirsing, M.2022-03-072022-03-071999https://publica.fraunhofer.de/handle/publica/290391en004006Rigorous analysis and design for software intensive systemsreport