197-208, San Diego, California, January 1998. Santa Barbara, California, June 2000. Copenhagen, Denmark, July 2002. eliciting with small steels, with Mayur Naik. characteristics for Embedded Systems, trips 120-129, Berlin, Germany, June 2002. Springer-Verlag( LNCS 2374), Malaga, Spain, June 2002. Chatterjee, Di Ma, Rupak Majumdar, Tian Zhao, and Thomas A. Symposium, adipiscing 109-126, San Diego, June 2003. book Pájaros de values on Software Engineering, electromagnetic, 2004. Engineering Conference, Keywords 198-207, Helsinki, Finland, September 2003. alternative, January 2005.