Structured Object-Oriented Formal Language and Method : 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers - Liu, Shaoying. (Springer International Publishing : Imprint: Springer, 2017)