Under CopyrightJürjens, JanJanJürjens2022-03-1215.10.20132013https://publica.fraunhofer.de/handle/publica/38089710.24406/publica-fhg-380897en004Model-centric security verification subject to evolutionpresentation