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 2024)