"Shields": A Model for Hazard-Oriented Analysis and Implementation of IoT Applications | IEEE Conference Publication | IEEE Xplore