The BP Oil Spill: Could software be a culprit? | IEEE Journals & Magazine | IEEE Xplore