Formal Modelling of Burst-Mode Specifications in a Distributed Environment