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 (Herausgeber); González Harbour, Michael (Herausgeber) (Programming and Software Engineering, 2006)