Schieferdecker, InaInaSchieferdeckerRitter, TomTomRitter2022-03-052022-03-052018https://publica.fraunhofer.de/handle/publica/25115110.1007/978-3-662-55890-4_21deAdvanced software engineering : Modell-basiert Software effizient und sicher entwickeln und prüfenbook article