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

Ian J. Hayes, Michael A. Jackson, Cliff B. Jones (2003)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics