Modeling intermediate tests for fault-tolerant multichip module systems | IEEE Journals & Magazine | IEEE Xplore