Chaos Duck: A Tool for Automatic IoT Software Fault-Tolerance Analysis | IEEE Conference Publication | IEEE Xplore