Francesco Viganò A Metamodel for Verifying Institutions. 2006 EUMAS http://ceur-ws.org/Vol-223/51.pdf conf/eumas/2006 db/conf/eumas/eumas2006.html#Vigano06