A theory of timed automata
Theoretical Computer Science
Rajeev Alur
A web-based tool for analysing normative documents in english