Deepak D'Souza P. S. Thiagarajan Product Interval Automata: A Subclass of Timed Automata. 60-71 http://link.springer.de/link/service/series/0558/bibs/1738/17380060.htm 1999 conf/fsttcs/1999 FSTTCS db/conf/fsttcs/fsttcs99.html#DSouzaT99