Fault-recovery and coherence in Internet of Things choreographies | IEEE Conference Publication | IEEE Xplore