@article{rauzy2019mcs,
author	=	{Antoine Rauzy and Liu Yang},
title	=	{Decision Diagram Algorithms to Extract Minimal Cutsets of Finite Degradation Models},
journal	=	{Information},
publisher	=	{MDPI},
volume	=	{10},
number	=	{368},
year	=	{2019},
pages	=	{1--28},
doi	=	{10.3390/info10120368},
pdffile	=	{RauzyYang2019-MinimalCutsetsInFDM.pdf}
}