Industrial and Manufacturing Security with Finite State