Info Forschungsprojekt CSPACE: Formal Analysis Summary Forschungsbeauftragter: Executive Summary Extended Summary