ARC-FSM-G: Automatic Security Rule Checking for Finite State Machine at the Netlist Abstraction | IEEE Conference Publication | IEEE Xplore