Model Checking is Refinement - From Computation Tree Logic to Failure Trace Testing. - Stefan D. Bruda; Zhiyu Zhang 005 (ICSOFT (2), 2010)

A Constructive Equivalence between Computation Tree Logic and Failure Trace Testing. - Stefan D. Bruda; Sunita Singh; A. F. M. Nokib Uddin; Zhiyu Zhang 005; Rui Zuo (CoRR, 2019)