Formal Verification Technology for Asynchronous Communication Protocol. - Yayun Hu; Dongfang Li (QRS Companion, 2019)