Structured Object-Oriented Formal Language and Method 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers - Duan, Zhenhua; Duan, Zhenhua; Liu, Shaoying; Liu, Shaoying; Tian, Cong; Tian, Cong; Nagoya, Fumiko; Nagoya, Fumiko (Springer International Publishing : Imprint: Springer, 2019)