Reliable Software Technologies -- Ada-Europe 2003 : 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings - Jean-Pierre Rosen, Alfred Strohmeier ((Lecture Notes in Computer Science))