AMON: an Automaton MONitor for Industrial Cyber-Physical Security