1.KIT – University of the State of Baden-Wuerttemberg and National Research Center of the Helmholtz Association 1 Institute of Applied Informatics and Formal Description…