869182.fig.004
Figure 4: LTL validation tool's output for the formula [ ] 𝑝 𝑞 .