Automatic Trap Detection: A Debugging Mechanism for Abnormal Specification in the IMS Sequencing Controls | IEEE Journals & Magazine | IEEE Xplore