Books by Ada-Europe International Conference on Reliable Software Technologies (11th 2006 Porto, Portugal)