Spezifikation eines Aufzugssystems mit SDL Projektseminar im SS 1999 Jürgen Gau, Martin Heilmann und Heiko Rellecke