RITA: Automatic Framework for Designing of Resilient IoT Applications. - Luis Eduardo Pessoa; Cristovao Freitas Iglesias Jr.; Claudio Miceli (CoRR, 2024)