Reliable Software Technologies – Ada-Europe 2012 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012. Proceedings - Brorsson, Mats; Pinho, Luís Miguel (Springer Berlin Heidelberg, 2012)