Johann Blieberger Alfred Strohmeier Reliable Software Technologies - Ada-Europe 2002, 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002, Proceedings Ada-Europe Lecture Notes in Computer Science 2361 Springer 2002 3-540-43784-3 db/conf/adaEurope/adaEurope2002.html