eContractual choreography-language properties towards cross-organizational business collaboration. - Alex Norta; Lixin Ma; Yucong Duan; Addi Rull; Merit Kõlvart; Kuldar Taveter (J. Internet Serv. Appl., 2015)