From Control Law Diagrams to Ada via Circus (Formal Aspects of Computing, 2011)

(untitled) - Cavalcanti, A; Clayton, P; O'Halloran, C