A Compositional Modelling Approach for Large Sensor Networks Design