Baier, Christel (Technische Universitat Dresden); Katoen, Joost-Pieter (RWTH Aachen University)