Static Analysis of Packet Forwarding and Filtering Configurations in Industrial Networks | IEEE Conference Publication | IEEE Xplore