Judy Bowen, Steve Reeves. Modelling safety properties of interactive medical systems. 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 91-100, ACM, 2013. [doi]
Abstract is missing.