High-Assurance Development of Medical Devices:
Medical Device Interoperability:
Decision-Support in Clinical Environments: