Amon: An automaton monitor for industrial cyber-physical security