Text this: Insertion attack identification in discrete event systems using petri nets with an observer.