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