M. Alpuente, Ballis, D., Falaschi, M., and Romero, D. O.,
“A Semi-Automatic Methodology for Repairing Faulty Web Sites”,
4th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006). IEEE Computer Society, pp. 31–40, 2006.
A. Baruzzo and Comini, M.,
“Static Verification of UML Model Consistency”,
MoDeV{$^2$}a: Model Development, Validation and Verification. University of Queensland, pp. 111–126, 2006.