1. D. Atiya. Verification of Concurrent Safety–critical Systems: The Compliance Notation Approach. PhD thesis, University of York. Submitted in October 2004
2. D. Atiya, S. King, and J.C.P. Woodcock. Ravenscar protected objects: a Circus semantics. Technical Report YCS-2003-356, Department of Computer Science, University of York, UK, June 2003
3. A Circus semantics for Ravenscar protected objects;Atiya,2003
4. Refinement of actions in Circus;Cavalcanti;Electronic Notes in Theoretical Computer Science,2002
5. A Refinement Strategy for Circus;Cavalcanti;Formal Aspects of Computing,2003