Ada-Europe 2014 proceedings - 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014