Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings - Merz, Stephan; Pang, Jun (Springer International Publishing : Imprint: Springer, 2014)