Process Quality Assessment in automatic management of wastewater treatment plants using Formal Verification