Return to Article Details Extending a system with verified components Download Download PDF