Guido Governatori Zoran Milosevic Dealing with contract violations: formalism and domain specific language. 46-57 2005 conf/edoc/2005 EDOC http://doi.ieeecomputersociety.org/10.1109/EDOC.2005.13 db/conf/edoc/edoc2005.html#GovernatoriM05