Dirk Craeynest Alfred Strohmeier Reliable Software Technologies: Ada Europe 2001, 6th Ade-Europe International Conference Leuven, Belgium, May 14-18, 2001, Proceedings Ada-Europe Lecture Notes in Computer Science 2043 Springer 2001 3-540-42123-8 db/conf/adaEurope/adaEurope2001.html