Reliable Software Technologies - Ada-Europe 2007 : 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007, Proceedings - Nabil Abdennadher, Fabrice Kordon ((Lecture Notes in Computer Science))