Oghabi, Giti (2011) Verifying Web Services Using Probabilistic Model Checking. Masters thesis, Concordia University.