Testability Modeling of Guided Projectile Based on Multi-Signal Flow Graphs | IEEE Conference Publication | IEEE Xplore