Back to article IJET Proactive model based testing and evaluation for component-based systems Download Download PDF