Safety issues in IoT design have come to the forefront of public discussion. Self-driving cars in particular raise safety concerns, which demand robust solutions. The Internet of Things (IoT) is…