Timed Web Services Analysis after Removing Complex Implicit Transitions | IEEE Conference Publication | IEEE Xplore