Applying the engineering statechart formalism to the evaluation of soft real-time in operating systems: a use case tailored modeling and analysis technique. - Alexander Koenen-Dresp (2008)