A specification technique for the conceptual design of manufacturing systems