Reliable Software Technologies Ada-Europe 2000 : 5th Ada-Europe International Conference Potsdam, Germany, June 26-30, 2000, Proceedings - Hubert B. Keller, Erhard Plödereder ((Lecture Notes in Computer Science))