Reliable Software Technologies -- Ada-Europe 2012 : 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012, Proceedings - Mats Brorsson, Luís Miguel Pinho ((Lecture Notes in Computer Science))