Optimal adaptive diagnosis with spares. - Toshinori Yamada; Akiichi Koh (ISCAS, 2006)