A cyber-physical system approach to artificial pancreas design | IEEE Conference Publication | IEEE Xplore