- Hubert B. Keller, Erhard Plödereder, Peter Dencker, Herbert Klenk, editors, Reliable Software Technologies - Ada-Europe 2013, 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings. Volume 7896 of Lecture Notes in Computer Science, Springer, 2013.