System synthesis models as a standard DoD tool for automatic test system analysis, selection, and development | IEEE Conference Publication | IEEE Xplore