A Circus Semantics for Ravenscar Protected Objects. - Diyaa-Addein Atiya; Steve King 001; Jim Woodcock 001 (FME, 2003)

Verification of concurrent safety-critical systems : the compliance-notation approach. - Diyaa-Addein Atiya (2004)

Extending Ravenscar with CSP Channels. - Diyaa-Addein Atiya; Steve King 001 (Ada-Europe, 2005)

Simpler Reasoning About System Properties: a Proof-by-Refinement Technique. - Diyaa-Addein Atiya; Steve King 001; Jim Woodcock 001 (REFINE, 2005)