Reliable Software Technologies – Ada-Europe 2014 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings - George, Laurent; Vardanega, Tullio (Springer International Publishing : Imprint: Springer, 2014)