A Timed Model of Circus with the Reactive Design Miracle.

Kun Wei, Jim Woodcock, Alan Burns

Browse the full SEFM paper archive.