Under CopyrightJürjens, JanJanJürjensNuseibeh, BasharBasharNuseibeh2022-03-1115.10.20132011https://publica.fraunhofer.de/handle/publica/37532110.24406/publica-fhg-375321en004Software engineering for secure systems. Pt.2: From design to implementation via model-based security engineeringpresentation