Oberweis, Andreas, Institute of Applied Informatics and Formal Description Methods, KIT, 76137 Karlsruhe, Germany, Germany