@doctoralThesis{Rock_2004,
title={Formal methods for real-time requirements engineering},
author={Rock, Georg},
doi={http://dx.doi.org/10.22028/D291-25759},
year={2004}
}