@article{caltechcampuspubs3005,
       publisher = {California Institute of Technology},
            year = {2011},
          number = {8},
         journal = {ENGenious},
           pages = {30--32},
           title = {Research Note - Ruling Out Bad Behavior: Designing Software to Make Extremely Dangerous Consequences Not Just "Unlikely" but "Impossible"},
          author = {Trity Pourbahrami},
             url = {https://resolver.caltech.edu/CaltechCampusPubs:20160405-110946979}
}