A Domain-Specific Language for Normative Texts with Timing Constraints | IEEE Conference Publication | IEEE Xplore