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