On optimal modularity for system construction · Study