Reliable Software Technologies – Ada Europe 2007 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007. Proceedings - Abdennadher, Nabil; Kordon, Fabrice (Springer Berlin Heidelberg, 2007)