@doctoralThesis{Schmidt_2011,
title={Formal verification of a small real-time operating system},
author={Schmidt, Mareike Dorothee},
doi={http://dx.doi.org/10.22028/D291-26028},
subtitle={Formale Verifikation eines kleinen Echtzeitbetriebssystems},
year={2011}
}