869182.fig.005
Figure 5: LTL validation tool's output for the formula ( ¬ ( [ ] ( ( 𝑙 ¬ 𝑟 ) ( ( [ ] 𝑝 ) ( 𝑝 𝑈 𝑟 ) ) ) ) ) ( [ ] ( ( 𝑙 ¬ 𝑟 ) ( ¬ ( ( 𝑝 ¬ 𝑟 ) 𝑈 ( ( ¬ 𝑝 ) ¬ 𝑟 ) ) ) ) ) .