Koschmider, Agnes, Institute of Applied Informatics and Formal Description Methods, KIT, 76137 Karlsruhe, Germany, Germany