Fig. 1From: Distinguishing extended finite state machine configurations using predicate abstractionEFSM M 1 Back to article page