A theory of timed automata
Theoretical Computer Science
David L. Dill
A web-based tool for analysing normative documents in english