Model Predictive Control of glucose concentration based on Signal Temporal Logic specifications | IEEE Conference Publication | IEEE Xplore