Reliable Software Technology – Ada-Europe 2005 (Springer Berlin Heidelberg, 2020)