@doctoralThesis{Rabe_2016,
title={A temporal logic approach to information-flow control},
author={Rabe, Markus N.},
doi={http://dx.doi.org/10.22028/D291-26650},
year={2016}
}