Jörg Brauer, Embedded Software Laboratory, RWTH Aachen University