1. Baier, C., Katoen, J.P.: Principles of Model Checking, p. 975. The MIT Press, Cambridge (2008)
2. Boeing: Statistical summary of commercial jet airplane accidents - Worldwide operations, 1959–2019 (2020). https://bit.ly/3cGqgfb. Accessed 14 June 2021
3. Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans. Program. Lang. Syst. 8(2), 244–263 (1986)
4. CNN: The world’s longest flight is back - and now it’s even longer (2020). https://cnn.it/3sXBnXD. Accessed 14 June 2021
5. Lecture Notes in Computer Science;F Dannenberg,2013