@inproceedings{EDOC-2005-GovernatoriM,
	author        = "Guido Governatori and Zoran Milosevic",
	booktitle     = "{Proceedings of the Ninth International Enterprise Distributed Object Computing Conference}",
	doi           = "10.1109/EDOC.2005.13",
	isbn          = "0-7695-2441-9",
	pages         = "46--57",
	publisher     = "{IEEE Computer Society}",
	title         = "{Dealing with contract violations: formalism and domain specific language}",
	year          = 2005,
}