Structured Object-Oriented Formal Language and Method 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers - Liu, Shaoying; Duan, Zhenhua (Springer International Publishing : Imprint: Springer, 2016)