fortiss - Landesforschungsinstitut des Freistaats Bayern für softwareintensive Systeme