Reliable Software Technologies – Ada-Europe 2014 - Laurent George, Tullio Vardanega (Springer International Publishing, 2014)