@doctoralThesis{Leinenbach_2008,
title={Compiler verification in the context of pervasive system verification},
author={Leinenbach, Dirk Carsten},
doi={http://dx.doi.org/10.22028/D291-25991},
year={2008}
}