Evaluating Web Service Quality Using Finite State Models | IEEE Conference Publication | IEEE Xplore