Bottoni, P.; Navigli, R.; Parisi-Presicce, F. Conditions, Constraints and Contracts: On the Use of Annotations for Policy Modeling. ECEASST 2016, 73.