Highly Assured Safety and Security of e-Health Applications | IEEE Conference Publication | IEEE Xplore