A Compositional Modelling Approach for Large Sensor Networks Design | IEEE Conference Publication | IEEE Xplore