Towards Safer Industrial Computer Controlled Systems.

Peter R. Croll, Colin Chambers, M. Bowell, Paul W. H. Chung

Browse the full SAFECOMP paper archive.