@INPROCEEDINGS{pace:atva2007,
	AUTHOR = {Gordon Pace and Cristian Prisacariu and Gerardo Schneider},
	TITLE = {Model Checking Contracts --- A Case Study},
	BOOKTITLE = {{5th International Symposium on Automated Technology for Verification and Analysis (ATVA'07)}},
	SERIES = {LNCS},
	YEAR = {2007},
}