@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}, }