Reliable Software Technology . Ada-Europe 2005 : 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings - Tullio Vardanega, Andy Wellings ((Lecture Notes in Computer Science))