@techreport{Cheng2008b,
	author = {Cheng, Chih-Hong and Fristoe, Teale and Lee, Edward A.},
	title = {Applied Verification: The Ptolemy Approach},
	year = {2008},


        institution = {EECS department, University of California at Berkeley},

        address = {Berkeley, USA},






	
}