Schlingloff, Bernd-Holger2022-03-132022-03-132016https://publica.fraunhofer.de/handle/publica/400988en004CS&P 2016, Concurrency, Specification and Programmingconference proceeding