Learning from Mutants: Using Code Mutation to Learn and Monitor Invariants of a Cyber-Physical System.