Reliable Software Technologies - Ada-Europe 2017 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings - Blieberger, Johann. (Springer International Publishing : Imprint: Springer, 2017)