title: Dependable software by design.
authors.affiliation: Computer Science and Artificial Intelligence Laboratory, Massachusetts Institute of Technology, USA.
authors.forename: Daniel
authors.initials: D
authors.lastname: Jackson
mesh_terms: D004868:Equipment Failure; D019544:Equipment Failure Analysis; D006801:Humans; D009369:Neoplasms / Q000532:radiotherapy; D011786:Quality Control; D012984:Software / Q000592:standards*