Reliable Software Technologies -- Ada-Europe 2006 : 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006, Proceedings - Luís Miguel Pinho, Michael González Harbour ((Lecture Notes in Computer Science))