Vangalur S. Alagar Olga Ormandjieva Mao Zheng Specification-Based Testing for Real-Time Reactive Systems. 25-36 2000 conf/tools/34-2000 TOOLS (34) http://doi.ieeecomputersociety.org/10.1109/TOOLS.2000.868956 db/conf/tools/tools34-2000.html#AlagarOZ00