Determining the Specification of a Control System from That of Its Environment.

Ian J. Hayes, Michael A. Jackson, Cliff B. Jones

Browse the full FM paper archive.