Safety analysis of the height control system for the Elbtunnel. - Frank Ortmeier; Gerhard Schellhorn; Andreas Thums; Wolfgang Reif; Bernhard Hering; Helmut Trappschuh (Reliab. Eng. Syst. Saf., 2003)