6. Faulk, S., Finneran, L., Kirby, J., Shah, S., and Sutton, J., "Experience Applying the CoRE Method to the Lockheed C-130J Software Requirements," Proceedings of the Ninth Annual Conference on Computer Assurance, Gaithersburg, Maryland, June 1994, pp. 3-8.
7. Heitmeyer, C., Kirby, J., and Labaw, B., "Automated Consistency Checking of Requirements Specification," ACM Transactions on Software Engineering and Methodology (TOSEM), Vol. 5, No. 3, July 1996, pp. 231-261.
8. Leveson, N., Heimdahl, M., Hildreth, H., and Reese, J., "Requirements Specifications for Process-Control Systems," IEEE Transactions on Software Engineering, Vol. 20, No. 9, September 1994, pp. 684-707.
9. Leveson, N., Heimdahl, M., Hildreth, H., and Reese, J., "TCAS II Collision Avoidance System (CAS) System Requirements Specification Change 6.00," Federal Aviation Administration, U.S. Department of Transportation, March 1993.