Reliable Software Technologies – Ada-Europe 2006 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006. Proceedings - Pinho, Luís Miguel; González Harbour, Michael (Springer Berlin Heidelberg, 2006)