Author: NATO Advanced Research Workshop on Formal Descriptions of Developing Systems (2002 University of Hawaii at Manoa)