@doctoralThesis{Schewe_2008, title={Synthesis of distributed systems}, author={Schewe, Sven}, doi={http://dx.doi.org/10.22028/D291-25922}, year={2008} }