@doctoralThesis{Dörrenbächer_2010, title={Formal specification and verification of a microkernel}, author={Dörrenbächer, Jan}, doi={http://dx.doi.org/10.22028/D291-26017}, year={2010} }