{Formal Verification of Wastewater Treatment Processes Using Events Detected From Continuous Signals by Means of Artificial Neural Networks. Case Study: SBR Plant}