Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers - Liu, Shaoying; Duan, Zhenhua (Springer International Publishing : Imprint: Springer, 2014)