Reliable Software Technology – Ada-Europe 2005 : 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings - Vardanega, Tullio (Herausgeber); Wellings, Andy (Herausgeber) (Programming and Software Engineering, 2005)