Paolo Masci, Anaheed Ayoub, Paul Curzon, Insup Lee, Oleg Sokolsky, Harold W. Thimbleby. Model-Based Development of the Generic PCA Infusion Pump User Interface Prototype in PVS. In Friedemann Bitsch, Jérémie Guiochet, Mohamed Kaâniche, editors, Computer Safety, Reliability, and Security - 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013. Proceedings. Volume 8153 of Lecture Notes in Computer Science, pages 228-240, Springer, 2013. [doi]
Abstract is missing.