Email: zvidzai@embedded.rwth-aachen.de Telefon: +49 241 80 211 - Adresse: Lehrstuhl für Informatik 11 - Software für eingebettete Systeme RWTH Aachen Ahornstr.55 52074 Aachen