1. RTCA DO-178B, Software considerations in airborne systems and equipment certification, 1992.
2. How did you specify your test suite;Holzer,2010
3. Seamless testing for models and code;Holzer,2011
4. An introduction to test specification in FQL;Holzer,2010
5. Query-driven program testing;Holzer,2009