Formal Methods and Software Engineering 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings - Duan, Zhenhua; Ong, Luke (Springer International Publishing : Imprint: Springer, 2017)