Reliable Software Technologies – Ada-Europe 2008 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings - Kordon, Fabrice; Vardanega, Tullio (Springer Berlin Heidelberg, 2008)