Reliable software technologies–Ada-Europe 2012 : 17th Ada-Europe International Conference on reliable software technologies, Stockholm, Sweden, June 11-15, 2012 : proceedings - Mats Brorsson, editor ([, Springer-Verlag], 2012)