Reliable Software Technologies - Ada-Europe 2015 - de la Puente; Vardanega, Tullio (Springer International Publishing, 2015)