Reliable Software Technologies – Ada-Europe 2018 - Casimiro; Pedro M. Ferreira; Ferreira, Pedro M. (Springer International Publishing, 2018)