@doctoralThesis{Dallmeier_2010,
title={Mining and checking object behavior},
author={Dallmeier, Valentin},
doi={http://dx.doi.org/10.22028/D291-26007},
year={2010}
}