1. Technische Hochschule Ingolstadt, CARISSMA – Center of Automotive Research on Integrated Safety Systems and Measurement Area , Esplanade 10, 85049 Ingolstadt , Germany
2. Karlsruhe Institute of Technology, AIFB – Institute of Applied Informatics and Formal Description Methods , Kaiserstr. 89, 76133 Karlsruhe , Germany