来源：
Formal Methods in System Design. 2014 ;44(3):240-263.doi:10.1007/s10703-013-0201-9
出版社：Springer Nature
来源：
Information and Computation. 2008 ;206(8):953-965.doi:10.1016/j.ic.2008.06.001
出版社：Elsevier BV
来源：
Electronic Notes in Theoretical Computer Science. 2008 ;220(3):115-127.doi:10.1016/j.entcs.2008.11.022
出版社：Elsevier BV
来源：
Computers & Mathematics with Applications. 2021 ;101:74-106.doi:10.1016/j.camwa.2021.09.013
出版社：Elsevier BV
来源：
English Language Teaching. 2019 ;12(1):85.doi:10.5539/elt.v12n1p85
出版社：Canadian Center of Science and Education
来源：
Mobile Information Systems. 2022 ;2022:1-7.doi:10.1155/2022/4304216
出版社：Hindawi Publishing Corporation
来源：
Mobile Information Systems. 2022 ;2022:1-7.doi:10.1155/2022/5610892
出版社：Hindawi Publishing Corporation
来源：
Social Science & Medicine. 2002 ;55(10):1795-1802.doi:10.1016/S0277-9536(01)00311-2
出版社：Elsevier BV
来源：
Aerospace Science and Technology. 2021 ;117:106976.doi:10.1016/j.ast.2021.106976
出版社：Elsevier BV
