Reliable Software Technologies -- ADA-Europe 2006: 11th ADA-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5 (Paperback, 2006)