Reliable Software Technologies – Ada-Europe 2003 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings - Rosen, Jean-Pierre; Rosen, Jean-Pierre; Strohmeier, Alfred; Strohmeier, Alfred (Springer Berlin Heidelberg : Imprint: Springer, 2003)