Detection of test Patterns with Unreachable States through Efficient Inductive-Invariant Identification | IEEE Conference Publication | IEEE Xplore