@doctoralThesis{Knapp_2008,
title={The correctness of a distributed real-time system},
author={Knapp, Steffen},
doi={http://dx.doi.org/10.22028/D291-25982},
year={2008}
}