Vieira, M., M. Dias, and D. J. Richardson,
"Analyzing Software Architectures Based on Statechart Semantics",
21st International Conference on Software Engineering (ICSE 21), Limerick, Ireland, June, 2000.
Vieira, M. E. R., M. S. Dias, and D. J. Richardson,
"Analyzing Software Architectures with Argus-I",
International Conference on Software Engineering (ICSE 2000), Limerick, Ireland, pp. 758-761, June 4-11, 2000.
Liu, C., and D. J. Richardson,
"Automated Security Checking and Patching Using TestTalk",
15th International Conference on Automated Software Engineering (ASE '00), Grenoble, France, IEEE Computer Society, pp. 261-264, September 11-15, 2000.