@doctoralThesis{Beyer_2005,
title={Putting it all together : formal verification of the VAMP},
author={Beyer, Sven},
doi={http://dx.doi.org/10.22028/D291-25904},
year={2005}
}