Integrating the verification of timing, performance and correctness properties of concurrent systems | IEEE Conference Publication | IEEE Xplore