Proceedings of the 17th Ada-Europe international conference on Reliable Software Technologies - Hutchison, David (Springer Berlin Heidelberg, 2012)