Modeling and integrating physical environment assumptions in medical cyber-physical system design. DATE 2017: 1615-1618