EP2099667B2 - Method for Ensuring or Maintaining the Function of a Complex Complete Safety-Critical System