A Fault Tolerance and Recovery Formal Model for IoT Systems. - Sahar Smaali; Riadh Benbessem; Hatem Mohamed Nazim Touati (Int. J. Organ. Collect. Intell., 2022)