Structured object-oriented formal language and method 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016 : revised selected papers - Liu, Shaoying 1960-; Duan, Zhenhua; Tian, Cong; Nagoya, Fumiko (Springer, 2017)