@doctoralThesis{Gerke_2020,
title={Modeling and verifying the FlexRay physical layer protocol with reachability checking of timed automata},
author={Gerke, Michael},
doi={http://dx.doi.org/10.22028/D291-33312},
year={2020}
}