@PhdThesis{phdGerking, author = {Christopher Gerking}, title = {Model-Driven Information Flow Security Engineering for Cyber-Physical Systems}, school = {Universit\"at Paderborn}, month = 6, year = 2020, url = {https://www.bodden.de/pubs/phdGerking.pdf}, }