Reliable Software Technologiey – Ada-Europe 2010 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings - Real, Jorge; Vardanega, Tullio (Springer Berlin Heidelberg, 2010)