A Domain-Specific Language for Normative Texts with Timing Constraints. - Runa Gulliksson; John J. Camilleri (TIME, 2016)