A Formal Validation Method for Trustworthy Services Composition | IEEE Conference Publication | IEEE Xplore