The Impact of Acceptance Tests on Analyzing Component-Based Systems Specifications: An Experimental Evaluation | IEEE Conference Publication | IEEE Xplore