Hubert B. Keller Erhard Plödereder Reliable Software Technologies - Ada-Europe 2000, 5th Ada-Europe International Conference, Potsdam, Germany, June 26-30, 2000, Proceedings Ada-Europe Lecture Notes in Computer Science 1845 Springer 2000 3-540-67669-4 db/conf/adaEurope/adaEurope2000.html