A Software Based on Multi-Signal Flow Graph Model for PHM-Oriented Design for Testability | IEEE Conference Publication | IEEE Xplore