@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,
        id = {1431229},
	priority = {2},
	biburl = {http://www.bibsonomy.org/bibtex/20d231cf3438db33fc4c9a1cabf9c1c03/schaal},
	keywords = {theory decision finite finitely algorithm languages muller state-transition buchi union real-time boolean timing acceptance systems functions intersection timed problems sequences constraints universality problem subclasses properties clocks inclusion conditions many infinite formal real-valued automata closure language operations pspace graphs}
}