Dependable Service-Oriented Design of Healthcare IoT | IEEE Conference Publication | IEEE Xplore