Zhihao Jiang, Miroslav Pajic, Rahul Mangharam. Model-Based Closed-Loop Testing of Implantable Pacemakers. In 2011 IEEE/ACM International Conference on Cyber-Physical Systems, ICCPS 2011, Chicago, Illinois, USA, 12-14 April, 2011. pages 131-140, IEEE, 2011. [doi]
Abstract is missing.