1. Alspaugh, T.A., Faulk, S.R., Britton, K.H., Parker, R.A., Parnas, D.L., Shore, J.E.: Software requirements for the A7-E aircraft. Technical report NRL Memorandum Report 3876, Naval Research Laboratory, August 1992
2. Bauer, A., Leucker, M., Schallhart, C.: Runtime verification for LTL and TLTL. ACM Trans. Softw. Eng. Methodol. 20, 14:1–14:64 (2010)
3. Lecture Notes in Computer Science;A Benveniste,2008
4. Bhargavan, K., et al.: Verisim: formal analysis of network simulations. IEEE Trans. Software Eng. 28(2), 129–145 (2002). https://doi.org/10.1109/32.988495
5. Blum, M., Kannan, S.: Designing programs that check their work. J. ACM 42, 269–291 (1995)