Symbolic Trajectory Evaluation -- SAT-Based Assistance in Abstraction Refinement for