Model Checking Is Refinement - From Computation Tree Logic to Failure Trace Testing
by Stefan D. Bruda and Zhyiu Zhang. Includes the material from Refinement Is Model Checking: From Failure Trace Tests to Computation Tree Logic (SEA 2009) and from Model Checking Is Refinement: From Computation Tree Logic to Failure Trace Testing (ICSOFT 2010). An on-line version is available.
