Philip B. Clayton

From control law diagrams to Ada via Circus

Ana Cavalcanti, Colin O'Halloran, Philip B. Clayton, 2011, Formal Aspects of Computing.

CLawZ: cost-effective formal verification for control systems

Philip B. Clayton, M. M. Adams, 2005, 24th Digital Avionics Systems Conference.

Verification of control systems using Circus

Ana Cavalcanti, Philip B. Clayton, 2006, 11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06).

Control Law Diagrams in Circus

Ana Cavalcanti, Colin O'Halloran, Philip B. Clayton, 2005, FM.

Using the Compliance Notation in Industry

Colin O'Halloran, Philip B. Clayton, 2004, PSSE.