Statistical Analysis and Verification of Performance for CSP Subsystems. (May 2015)