@article{meng2018modelingpatterns,
author	=	{Huixing Meng and Le{\"i}la Kloul and Antoine Rauzy},
title	=	{Modeling patterns for reliability assessment of safety instrumented systems},
journal	=	{Reliability Engineering and System Safety},
volume	=	{180},
pages	=	{111--123},
publisher	=	{Elsevier},
year	=	{2018},
doi	=	{10.1016/j.ress.2018.06.026},
pdffile	=	{MengKloulRauzy2018-ModelingPatterns.pdf}
}