Structured Object-Oriented Formal Language and Method : 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers - Xue, Jinyun; Duan, Zhenhua; Liu, Shaoying; Nagoya, Fumiko (Springer International Publishing, 2021)