@article{alurr:94,
title = {A theory of timed automata},
author = {Rajeev Alur and David L. Dill},
journal = {Theoretical Computer Science},
month = {April},
number = {2},
pages = {183--235},
volume = {126},
year = {1994},
priority = {2}, citeulike-article-id = {1431229},
keywords = {acceptance algorithm automata boolean buchi clocks closure conditions constraints decision finite finitely formal functions graphs inclusion infinite intersection language languages many muller operations problem problems properties pspace real-time real-valued sequences state-transition subclasses systems theory timed timing union universality }
}
::