Email: koch[at]embedded[dot]rwth-aachen[dot]de Telefon: Adresse: +49 241 80 21154 Lehrstuhl für Informatik 11 - Software für eingebettete Systeme RWTH Aachen Ahornstr.55 52074 Aachen