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