Applying Probabilistic Model Checking to Service Discovery Framework | IEEE Conference Publication | IEEE Xplore