A reactive choreography of the digital and the physical