, Embedded Software Laboratory, Chair of Computer Science 11, RWTH Aachen University, Ahornstrasse 55, D-52074 Aachen, Germany