The Integrated CWB-NC/PIOATool for Functional Verification and Performance Analysis of Concurrent Systems.