Reliable Software Technologies - Ada-Europe 2010 : 15th Ada-Europe International Conference on Reliabel Software Technologies, Valencia, Spain, June 14-18, 2010, Proceedings - Jorge Real, Tullio Vardanega ((Lecture Notes in Computer Science))