Reliable Software Technologies â€" Ada-Europe 2013 - Keller (Springer Berlin Heidelberg, 2013)