Chaos Duck: A Tool for Automatic IoT Software Fault-Tolerance Analysis. - Zavalyshyn, Igor; Given-Wilson, Thomas; Legay, Axel; Sadre, Ramin; Rivière, Etienne (2021)