Testability modeling and analysis of layered system based on multi signal flow graph | IEEE Conference Publication | IEEE Xplore