@doctoralThesis{Montag_2018,
title={Integrated timing verification for distributed embedded real-time systems},
author={Montag, Pascal},
doi={http://dx.doi.org/10.22028/D291-27187},
year={2018}
}