Integrating Probability with Time and Shared-Variable Concurrency | IEEE Conference Publication | IEEE Xplore