Reliable Software Technology – Ada-Europe 2005 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005. Proceedings - Vardanega, Tullio; Wellings, Andy (Springer Berlin Heidelberg, 2005)