Patient Flow Monitoring Systems: Investigation of Alternatives.- Retrofitting Communication Security into a Publish/Subscribe Middleware Platform.- Towards an AADL-Based Definition of App Architectures for Medical Application Platforms.- Energy-Aware Model-Driven Development of a Wearable Healthcare Device.- Reasoning About Confidence and Uncertainty in Assurance Cases: A Survey.- Building semantic causal models to predict treatment adherence for tuberculosis patients in sub-Saharan Africa.- From Requirements to Code: Model Based Development of a Medical Cyber Physical System.- Demonstrating that medical devices satisfy user related safety requirements.- Secure and Customizable EHR Management Services with COASTmed.- Process Execution and Enactment in Medical Environments.- Engineering A Performance Management System To Support Community Care Delivery.- A Framework for Continuous Certification of Clinical Information Systems.- Applying Information System Hazard Analysis to an Episodic Document Context.- Using PVSio-web to demonstrate software issues in medical user interfaces.- Formalizing The Cardiac Pacemaker Resynchronization Therapy.- A Tool for Analyzing Clinical Datasets as Blackboxes.