An Automata-Based Formalism for Normative Documents with Real-Time. - Stefan Chircop; Gordon J. Pace; Gerardo Schneider (JURIX, 2022)