Nabil Abdennadher Fabrice Kordon Reliable Software Technologies - Ada Europe 2007, 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007, Proceedings Ada-Europe Lecture Notes in Computer Science 4498 Springer 2007 978-3-540-73229-7 db/conf/adaEurope/adaEurope2007.html