Paolo Masci, Anaheed Ayoub, Paul Curzon, Michael D. Harrison, Insup Lee, Harold W. Thimbleby. Verification of interactive software for medical devices: PCA infusion pumps and FDA regulation as an example. In Peter Forbrig, Prasun Dewan, Michael Harrison, Kris Luyten, editors, ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS'13, London, United Kingdom - June 24 - 27, 2013. pages 81-90, ACM, 2013. [doi]
Abstract is missing.