Reliable software technology - Ada-Europe 2005 / 10th Ada-Europe International Conference on reliable software technologies, York, UK, June 20-24, 2005, Proceedings - Wellings, Andy; Vardanega, Tullio (Lecture Notes in Computer Science,, 2005)