Safety Case Processing