M. Archer, C. Heitmeyer, and S. Sims, "TAME: A PVS Interface to Simplify Proofs for Automata Models," Proceedings of User Interfaces for Theorem Provers (UITP '98), Eindhoven, Netherlands, July 1998.
R. Bharadwaj and S. Sims, "Salsa: Combining Constraint Solvers with BDDs for Automatic Invariant Checking," Proceedings of Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2000), March 2000.
C. Heitmeyer, R. Jeffords, and B. Labaw, "Automated Consistency Checking of Requirements Specifications," ACM Transactions on Software Engineering, vol. 5, no. 3, July 1996, pp. 231-261
C. Heitmeyer, J. Kirby, B. Labaw, and R. Bharadwaj, "SCR*: A Toolset for Specifying and Analyzing Software Requirements," Proceedings of Computer-Aided Verification (CAV'98), Vancouver, June-July, 1998.
C. Heitmeyer, J. Kirby, B. Labaw, M. Archer, and R. Bharadwaj, "Using Abstraction and Model Checking to Detect Safety Violations In Requirements Specifications," IEEE Transactions on Software Engineering, vol. 24, no. 11, November 1998, pp. 927-948
K. Heninger, D. Parnas, J. Shore, and J. Kallander, "Software Requirements for the A-7E aircraft," Technical Naval Research Laboratory (NRL) report 3876, 1978.
J. Kirby, M. Archer, and C Heitmeyer, "SCR: A Practical Approach to Building a High Assurance COMSEC System," Proceedings of 15th Annual Computer Security Applications Conference (ACSAC '99), December 1999.