1. 1) Lewis, R. O.: Independent Verification and Validation: A Life Cycle Engineering Process for Quality Software, Vol. 11, John Wiley & Sons, New york, NY, USA. 1992.
2. 2) IEEE Std. 1012-2004. IEEE Standard for Software Verification and Validation - Annex C, IEEE Computer Society, 2004.
3. 3) Kohtake, N., Katoh, A., Ishihama, N., Miyamoto, Y., Kawasaki, T.,and Katahira, M.: Software Independent Verification and Validation for Spacecraft at JAXA, Aerospace Conference, 2008 IEEE. IEEE,2008.
4. 4) Ujiie, R., Katahira, M., Hernek, M., and Rubio, P.: Study of a Method for Early Interface Verification with Hierarchical Executable Software Model, Proceedings of the 32nd International System Safety Training Symposium, 2014.
5. 5) NASA IV&V facility HP, https://www.nasa.gov/centers/ivv/about/index.html (accessed April 6th, 2017).