Reliable Software Technologies – Ada-Europe 2018 - Casimiro (Springer International Publishing, 2018)