KIT – University of the State of Baden-Württemberg andNational 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.eduwww.aifb.kit.edu