Control law diagrams in Circus (2006)

by Ana Cavalcanti, Phil Clayton, Colin O’Halloran
Venue:In FM’05: Proceedings of International Symposium of Formal Methods Europe