Formal Analysis of Services Compatibility | IEEE Conference Publication | IEEE Xplore