How to make concurrent programs highly reliable-more than state space analysis | IEEE Conference Publication | IEEE Xplore