Reliable Software Technologies – Ada-Europe 2017 - Blieberger; Bader, Markus (Springer International Publishing, 2017)