A User Study on Modeling IoT-Aware Processes with BPMN 2.0 | Synapse