Robust Model Predictive Control with Signal Temporal Logic constraints for Barcelona Wastewater System. Issue 1 (July 2017)