David Arney, Miroslav Pajic, Julian M. Goldman, Insup Lee, Rahul Mangharam, Oleg Sokolsky. Toward patient safety in closed-loop medical device systems. In Janos Sztipanovits, Raj Rajkumar, editors, ACM/IEEE 1st International Conference on Cyber-Physical Systems, ICCPS '10, Stockholm, Sweden, April 12-15, 2010. pages 139-148, ACM, 2010. [doi]
Abstract is missing.