Reliable Software Technologies – Ada-Europe 2018 - Casimiro, António (Springer International Publishing, 2020)