A Rigorous Method for Testing Real-Time Reactive Systems.

Vangalur S. Alagar, Mao Zheng

Browse the full APSEC paper archive.