Formal verification of wastewater treatment processes using events detected from continuous signals by means of artificial neural networks.Case study: SBR plant.