Monitoring the performance of soft sensors used in WWTPs by means of formal verification