Arjan J. Mooij, Jozef Hooman, Rob Albers. Early Fault Detection Using Design Models for Collision Prevention in Medical Equipment. In Jeremy Gibbons, Wendy MacCaull, editors, Foundations of Health Information Engineering and Systems - Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papers. Volume 8315 of Lecture Notes in Computer Science, pages 170-187, Springer, 2013. [doi]
Abstract is missing.