Tom Melham: Symbolic Trajectory Evaluation. Handbook of Model Checking 2018: 831-870