Parametrierbare Übergabeschnittstellen im Entwurfsprozess für sicherheitsgerichtete Systeme.