Formal methods and software engineering 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016 : proceedings - Ogata, Kazuhiro (Springer, 2016)