1. T.A. Alspaugh, S.R. Faulk, K.H. Britton, R.A. Parker, D.L. Parnas, J.E. Shore, Software requirements for the A-7E aircraft, Tech. Rep. NRL-9194, Naval Research Lab., Washington, DC, 1992.
2. P. Ammann, P.E. Black, A specification-based coverage metric to evaluate test sets, in: HASE ’99: The 4th IEEE International Symposium on High-Assurance Systems Engineering, IEEE Computer Society, Washington, DC, USA, 1999, pp. 239–248.
3. P. Ammann, W. Ding, D. Xu, Using a model checker to test safety properties, in: Proceedings of the 7th International Conference on Engineering of Complex Computer Systems (ICECCS, 2001), IEEE, 2001, pp. 212–221.
4. Introduction to Software Testing;Ammann,2008
5. P.E. Ammann, P.E. Black, W. Majurski, Using model checking to generate tests from specifications, in: Proceedings of the Second IEEE International Conference on Formal Engineering Methods (ICFEM’98), IEEE Computer Society, 1998, pp. 46–54.