TY  - RPRT
TI  - Model-Driven Development of High-Assurance Active Medical Devices
AU  - Atif Mashkoor
PY  - 2017
DO  - 10.1007/s11219-015-9288-0
UR  - https://arxiv.org/abs/1706.06376
ID  - 1706.06376
ER  -