Modeling BPEL-Based Collaborations with Heterogeneous IoT Devices | IEEE Conference Publication | IEEE Xplore