Formal Methods and Software Engineering 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings - Ogata, Kazuhiro; Lawford, Mark; Liu, Shaoying (Springer International Publishing : Imprint: Springer, 2016)