Reliable Software Technologies – Ada-Europe 2015 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings - de la Puente, Juan Antonio; Vardanega, Tullio (Springer International Publishing : Imprint: Springer, 2015)