J. Blieberger, A. Strohmeier (ed.): "Lecture Notes in Computer Science; Reliable Software Technologies - Ada-Europe 2002"; Springer, Berlin, 2002, ISBN: 3-540-43784-3; 366 pages.