Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings - De Nicola, Rocco; Kühn, Eva (Springer International Publishing : Imprint: Springer, 2016)