P. Bottoni, R. Navigli, and F. Parisi-Presicce, “Conditions, constraints and contracts: On the use of annotations for policy modeling”, eceasst, vol. 73, Apr. 2016.