Model-based analysis in support of the TF-41 seeded-fault testing | IEEE Conference Publication | IEEE Xplore