KIT – University of the State of Baden-Württemberg and National Laboratory of the Helmholtz Association KARLSRUHE SERVICE RESEARCH INSTITUTE (KSRI) INSTITUTE OF APPLIED INFORMATICS AND FORMAL DESCRIPTION METHODS (AIFB) www.kit.edu www.ksri.kit.edu www.aifb.kit.edu