WS-FIT: a tool for dependability analysis of Web services | IEEE Conference Publication | IEEE Xplore