@doctoralThesis{Sakr_2021,
title={Parameterized verification and repair of concurrent systems},
author={Sakr, Mouhammad},
doi={http://dx.doi.org/10.22028/D291-34159},
year={2021}
}