An Automata-Based Formalism for Normative Documents with Real-Time.

Stefan Chircop, Gordon J. Pace, Gerardo Schneider

Browse the full JURIX paper archive.