selected publications conference paper Specification in a large industry consortium-the MOST approach. . 2002