@inproceedings{meng2017patternbasedmethodology,
author	=	{Huixing Meng and Le{\"i}la Kloul and Antoine Rauzy},
title	=	{A Pattern-based Methodology for Reliability Assessment of Safety Instrumented Systems},
booktitle	=	{Proceedings of the 2017 IEEE International Symposium on Systems Engineering},
editor	=	{Bob Rassa},
publisher	=	{IEEE},
isbn	=	{978-1-5386-3403-5},
pages	=	{438--443},
address	=	{Vienna, Austria},
year	=	{2017},
pdffile	=	{MengKloulRauzy2017-ISSE.pdf}
}