Text this: Fault manifestability verification for discrete event systems