Simulation and verification II: event-triggered environments for verification of real-time systems.

Darren D. Cofer, Murali Rangarajan

Browse the full WSC paper archive.