By embracing vast quantities of wireless sensors and actuators, the Future Internet will reach into the real world and provide online access to the state of things and places. The resulting Internet of Things (IoT) is deemed to enable applications of utmost societal value including smart cities, smart grids, and smart healthcare. However, most of these applications pose strict dependability requir ...