Reliable Software Technologies – Ada-Europe 2016 - Marko Bertogna, Luis Miguel Pinho, Eduardo Quiñones; Pinho, Luís Miguel; Quiñones, Eduardo (Springer International Publishing, 2016)