@INPROCEEDINGS{Dolado2002SV, 
author={Javier Dolado and Javier Tuya and Daniel Rodriguez}, 
booktitle={First International Workshop on
System Testing \& Validation}, 
title={Steps in the Ontological Modelling of the
Software Verification and Validation Activities}, 
year={2002}
}