@doctoralThesis{Koenen-Dresp_2008,
title={Applying the Engineering Statechart Formalism to the evaluation of soft real-time in operating systems : a use case tailored modeling and analysis technique},
author={Koenen-Dresp, Alexander},
doi={http://dx.doi.org/10.22028/D291-25929},
year={2008}
}