Specifying systems that connect to the physical world /
Jones, C. B.(Cliff B.),1944-
Hayes, Ian J.
Jackson, Michael A.
University of Newcastle upon Tyne.School of Computing Science.
Newcastle upon Tyne : University of Newcastle upon Tyne,
2006.
Title from cover.
Includes bibliographical references.
System design.
Computer systems