Reliable Software Technologies – Ada-Europe 2013 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings - Keller, Hubert B.; Plödereder, Erhard; Dencker, Peter; Klenk, Herbert (Springer Berlin Heidelberg : Imprint: Springer, 2013)