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