"Checking Interval Based Properties for Reactive Systems."

Yu Pei, Qiwen Xu (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics