Security of systems: modeling and analysis methodology / Jan Peter Wolf ; Betreuer: Christian Siemers. - Jan Peter Wolf (2023)