Reliable Software Technologies Ada-Europe 2000 door H.B. Keller & Erhard Pleodereder