Safety of computer control systems 1983 (SAFECOMP '83) : achieving safe real time computer systems : proceedings of the Third IFAC/IFIP Workshop, Cambridge, UK, 20-22 September 1983. ISBN 0080305636. Published by Pergamon in 1983. Publication and catalogue information, links to buy online and reader comments.