1. IEEE Standard Glossary of Software Engineering Terminology. IEEE, IEEE Std 610.12-1990, p. 1 (1990)
2. IEEE Standard Dictionary of Measures of the Software Aspects of Dependability. IEEE Std 982.1-2005 (Revision of IEEE Std 982.1-1988), pp. 1–34 (2006)
3. Standard for Software Quality Characteristics. International Organization for Standardization, ISO-9126-3 (2003)
4. Software Assurance Standard. NASA Technical Standard, NASA-STD-8739.8 (2005)
5. Shafique, M., Labiche, Y.: A Systematic Review of Model Based Testing Tools. Carleton University, Department of Systems and Computer Engineering, Technical Report, SCE-10-04 (2010)