@InProceedings{gsb18model,
author="Gerking, Christopher
and Schubert, David
and Bodden, Eric",
editor="Payer, Mathias
and Rashid, Awais
and Such, Jose M.",
title="Model Checking the Information Flow Security of Real-Time Systems",
booktitle="Engineering Secure Software and Systems",
year="2018",
publisher="Springer International Publishing",
address="Cham",
pages="27--43",
url = {https://www.bodden.de/pubs/gsb18model.pdf},
}