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