@article {12792,
	title = {Unit verification: the CARA experience},
	journal = {International Journal on Software Tools for Technology Transfer (STTT)},
	volume = {5},
	year = {2004},
	month = {2004///},
	pages = {351 - 369},
	author = {Ray,A. and Cleaveland, Rance}
}
