Automatic Verification of a Hydroelectric Power Plant