A Tool for Safe and Accurate IoT Automation Rule Generation Using Large Language Models | IEEE Conference Publication | IEEE Xplore