High-integrity system specification and design /
Bowen, J. P.(Jonathan Peter),1956-
Hinchey, Michael G.(Michael Gerard),1969-
London : Springer,
c1999.
Includes bibliographical references and index.
System design.
System analysis.