Zhao Jianhua, Li Xuandong, Zheng Tao, and Zheng Guoliang. Removing Irrelevant Atomic Formulas for Checking Timed Automata Efficiently.
In Proceedings of First International Workshop on Formal Modeling and Analysis of Timed Systems (FORMATS 2003),
Lecture Notes in Computer Science, Springer, 2003. download
