This video shows a short application example for the automation platform described in "Running Distributed And Dynamic IoT choreographies" available at https://arxiv.org/abs/1802.03159.
The processes that are demonstrated are device registration and choreography creation, device integration into choreography and failover between devices.