R. E. Bloomfield

SafeIT: The Safety Of Programmable Electronic Systems

R. E. Bloomfield, 1990 .

An analysis of a non-linear, multivariable once-through boiler control system

R. E. Bloomfield, 1982 .

Application of Finite State Models for System Design and Reliability Assessment

R. E. Bloomfield, 1983 .

Towards A Common Safety Description Model

Janusz Górski, R. E. Bloomfield, J. H. Cheng, 1991 .

Programmable Electronic Systems - A Framework For Safety Standards

J. Brazendale, R. E. Bloomfield, 1990 .

The SHIP Safety Case Approach: A Combination of System and Software Methods

P. G. Bishop, R. E. Bloomfield, 1997 .