@doctoralThesis{Hecking-Harbusch_2021,
title={Synthesis of asynchronous distributed systems from global specifications},
author={Hecking-Harbusch, Jesko},
doi={http://dx.doi.org/10.22028/D291-35149},
year={2021}
}