Text this: Visualising CTL Witnesses and Counterexamples -- Extended Version