@doctoralThesis{Daum_2010,
title={On the formal foundation of a verification approach for system-level concurrent programs},
author={Daum, Matthhias},
doi={http://dx.doi.org/10.22028/D291-26012},
year={2010}
}