Lianhua Li, Greg Franks: Improved interlock correction when solving layered queueing networks using decomposition. CCECE 2015: 541-546