Safety assurance in critical IoT systems is increasingly important as those systems are
becoming ubiquitous in various application areas, such as health care and transportation …