Title: Reliable Software Technologies - Ada-Europe 2008