The BP Oil Spill: Could Software be a Culprit? | IEEE Journals & Magazine | IEEE Xplore