{Process Quality Assessment in Automatic Management of Wastewater Treatment Plants Using Formal Verification}