Automatic Compositional Reasoning for Probabilistic Model Checking of Hardware Designs | IEEE Conference Publication | IEEE Xplore