Reliable Software Technologies - Ada-Europe 2004 : 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004, Proceedings - Albert Llamosí, Alfred Strohmeier ((Lecture Notes in Computer Science))