WiP Abstract: Detection of False Injection Attacks Based on LTL for Fallback Control | IEEE Conference Publication | IEEE Xplore