Modularity for system modelling and analysis