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)