D. Arney, M. Pajic, J. M. Goldman, I. Lee, R. Mangharam, and O. Sokolsky, BToward patient safety in closed-loop medical device systems,[ in Proc. 1st ACM/IEEE Int. Conf. Cyber-Phys. Syst., 2010, pp. 139–148.