"Shields": A model for hazard-oriented analysis and implementation of IoT applicationsLior LimonadFabiana Fournieret al.2018ICIOT 2018