Davis, J., Scott, J., Sztipanovits, J., & Martinez, M. (1999). Multi-Domain Surety Modeling and Analysis for High Assurance Systems. In Proceedings of the Engineering of Computer Based Systems (p. 254–260). Nashville, TN. (Original work published 2025)

Davis, J., Scott, J., Sztipanovits, J., Karsai, G., & Martinez, M. (1998). An Integrated Multi-Domain Analysis Environment for High Consequence Systems. In Proceedings of the 1998 ASME Design Engineering Technical Conference / Computers in Engineering, Paper No. 5532. Altanta, GA. (Original work published 2025)

Davis, J., Scott, J., Sztipanovits, J., Karsai, G., & Martinez, M. (1998). Integrated Analysis Environment for High Impact Systems. In Proceedings of the Engineering of Computer Based Systems (p. 218–225). Jerusalem, Israel. (Original work published 2025)