Formal verification of wastewater treatment processes using events detected from continuous signals by means of artificial neural networks. Case study: SBR plant. - Luca Luccarini; Gianni Luigi Bragadin; Gabriele Colombini; Maurizio Mancini; Paola Mello; Marco Montali; Davide Sottara (Environ. Model. Softw., 2010)