Towards Trustworthy Composite Service Through Business Process Model Verification | IEEE Conference Publication | IEEE Xplore