Comment by bovermyer

Verifying software used to control rocket fueling systems sounds like a good idea to me.