1. Assume-Guarantee Based Compositional Reasoning for Synchronous Timing Diagrams;Amla,2001
2. Bolton, C. and G. Lowe, On the Automatic Verification of Non-standard Measures of Consistency, 6th Int. Workshop in Formal Methods, Dublin, (2003)
3. Stuck-free conformance;Fournet,2004
4. Formal Systems (Europe) Ltd., Failures Divergence Refinement. User Manual and Tutorial, URL: http://www.fsel.com/documentation/fdr2/html
5. Communicating Sequential Processes;Hoare,1985