Pourbahrami, Trity Research Note - Ruling Out Bad Behavior: Designing Software to Make Extremely Dangerous Consequences Not Just "Unlikely" but "Impossible". ENGenious (8). (2011) pp. 30-32. https://resolver.caltech.edu/CaltechCampusPubs:20160405-110946979