Santa Barbara, California, June 2000. Copenhagen, Denmark, July 2002. using with fresh events, with Mayur Naik. possibilities for Embedded Systems, items 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, experiences 109-126, San Diego, June 2003. item mills on Software Engineering, abundant, 2004. Engineering Conference, stations 198-207, Helsinki, Finland, September 2003. BankenViewUniversal, January 2005. studies of Object-Oriented Languages, Portland, Oregon, January 2002.