Testability Modeling for 1553B Bus System Based on Multi-Signal Flow Graph | IEEE Conference Publication | IEEE Xplore