Reliable Software Technologies – Ada-Europe 2016 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings - Bertogna, Marko; Pinho, Luis Miguel; Quiñones, Eduardo (Springer International Publishing : Imprint: Springer, 2016)