A formal model-based approach to design failure-aware Internet of Things architectures. - Imene Ben Hafaiedh; Amani Elaoud; Asma Maddouri (J. Reliab. Intell. Environ., 2024)