Waveform relaxation and overlapping partitioning techniques for tightly coupled interconnectsMina FarhanNatalie Nakhlaet al.2011EPEPS 2011