Automating Reliable and Fault-Tolerant Design of LoRa-based IoT Networks | IEEE Conference Publication | IEEE Xplore