@article{yang2019modelsynthesis,
author	=	{Liu Yang and Antoine Rauzy},
title	=	{Model synthesis using boolean expression diagrams},
journal	=	{Reliability Engineering and System Safety},
publisher	=	{Elsevier},
volume	=	{186},
pages	=	{78--87},
month	=	{June},
year	=	{2019},
doi	=	{10.1016/j.ress.2019.02.019},
pdffile	=	{YangRauzy2019-ModelSynthesis.pdf}
}