Return to Article Details Architectural capability analysis using a model-checking technique Download Download PDF