Formal Modelling of Burst-Mode Specifications in a Distributed Environment | IEEE Conference Publication | IEEE Xplore