Reliability of IoT-Aware BPMN Healthcare Processes · Study