Comprobación Automática de Requisitos de Calidad en Sistemas Multiorganizacionales.