1. The Economic Impacts of Inadequate Infrastructure for Software Testing, Final Report RTI Project Number 7007.011. Prepared by RTI, Health, Social, and Economics Research (Research Triangle Institute, Research Triangle Park, NC) for G. Tassey (National Institute of Standards and Technology, Gaithersburg, MD), May 2002. https://www.nist.gov/sites/default/files/documents/director/planning/report02-3.pdf
2. C. Ebert and C. Jones, “Embedded software: facts, figures, and future,” Comput. 42 (4), 42–52 (2009).
3. ISO/IEC 9646-1: Information Technology—Open Systems Interconnection—Conformance Testing Methodology and Framework—Part 1: General Concepts (International Organization for Standardization / International Electrotechnical Commission, 1994). https://www.iso.org/standard/17473.html
4. Model based testing with labelled transition systems;J. Tretmans,2008
5. D. Lee and M. Yannakakis, “Principles and methods of testing finite state machine—A survey,” Proc. IEEE 84 (8), 1090–1123 (1996).