@doctoralThesis{Müller_2011,
title={Complete formal hardware verification of interfaces for a FlexRay-like bus},
author={Müller, Christian},
doi={http://dx.doi.org/10.22028/D291-26178},
subtitle={Komplette formale Hardware-Verifikation einer FlexRay-ähnlichen Bus-Schnittstelle},
year={2011}
}