Brenner, C. (2016). Szenariobasierte Synthese verteilter mechatronischer Systeme (Vol. 351). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.