Reliable Software Technologies -- Ada-Europe 2013 : 18th International Conference, Berlin, Germany, June 11-15, 2013, Proceedings - Hubert B. Keller, Erhard Plödereder, Peter Dencker, Herbert Klenk ((Lecture Notes in Computer Science))