Storey, N. Safety critical computer systems [Book]. - ADDISON WESLEY All. ISBN: 0201427877 Subjects--Topical Terms: Safety critical computer systems