Verifying Compliance of Process Compositions Through Certification of its Components | IEEE Conference Publication | IEEE Xplore