Francesco Viganò Marco Colombetti Model Checking Norms and Sanctions in Institutions. 316-329 2007 COIN http://dx.doi.org/10.1007/978-3-540-79003-7_23 conf/atal/2007coin db/conf/atal/coin2007.html#ViganoC07