1. Microelectronic Systems Design Research Group, TU Kaiserslautern, Kaiserslautern, Germany
2. Robert Bosch GmbH—Corporate Research (CR/ADT2), Stuttgart, Germany
3. Fraunhofer Institute for Experimental Software Engineering (IESE), Kaiserslautern, Germany