From Control Law Diagrams to Ada via Circus - Cavalcanti, A; Clayton, P; O'Halloran, C (Formal Aspects of Computing, 2011)