A probabilistic approach to automatic verification of concurrent systems | IEEE Conference Publication | IEEE Xplore