Improved interlock correction when solving layered queueing networks using decomposition | IEEE Conference Publication | IEEE Xplore