@doctoralThesis{Klein_2020,
title={Synthesizing stream control},
author={Klein, Felix},
doi={http://dx.doi.org/10.22028/D291-32255},
year={2020}
}