A Timed Model of Circus with the Reactive Design Miracle | IEEE Conference Publication | IEEE Xplore