NATO Advanced Research Workshop on Formal Descriptions of Developing Systems Conference