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