Digital Object Identifier (DOI) https://doi.org/10.1109/controlo.2018.8514293 https://doi.org/10.1109/controlo.2018.8514293