A Method for Formal Model Generation in the Teaching of Software Design and Analysis. - Xi Wang; Jinhui Lai; Yijia Ouyang; Hui Xu (ICBAR, 2023)