Designing a Contractual Choreography Language for Automating Cross-organizational Business Collaboration | IEEE Conference Publication | IEEE Xplore