Jean-Pierre Rosen Alfred Strohmeier Reliable Software Technologies - Ada-Europe 2003, 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings Ada-Europe Lecture Notes in Computer Science 2655 Springer 2003 3-540-40376-0 db/conf/adaEurope/adaEurope2003.html