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