Model Checking for an HDLC IP Core Transparency Error in an Aerospace Industrial Context. - Shiyu Liu; Dongfang Li; Jixing Xue; Guang Yang; Wei Shen; Zhihao Wang (CSSE, 2021)