Using the Compliance Notation in Industry. - Phil Clayton; Colin O'Halloran (PSSE, 2004)

Control Law Diagrams in Circus. - Ana Cavalcanti 001; Phil Clayton; Colin O'Halloran (FM, 2005)

ClawZ: Cost-Effective Formal Verification for Control Systems. - M. M. Adams; Philip B. Clayton (ICFEM, 2005)

Verification of Control Systems using Circus. - Ana Cavalcanti 001; Phil Clayton (ICECCS, 2006)

From control law diagrams to Ada via Circus. - Ana Cavalcanti 001; Phil Clayton; Colin O'Halloran (Formal Aspects Comput., 2011)