Reliable Software Technologies - Ada-Europe 2008 : 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings - Fabrice Kordon, Tullio Vardanega ((Lecture Notes in Computer Science))