Fabrice Kordon Tullio Vardanega Reliable Software Technologies - Ada-Europe 2008, 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings 5026 2008 978-3-540-68621-7 Ada-Europe Lecture Notes in Computer Science Springer db/conf/adaEurope/adaEurope2008.html