@inproceedings{legendre2016synchronization,
author	=	{Anthony Legendre and Agn\`es Lanusse and Antoine Rauzy},
title	=	{Directions towards supporting synergies between design and probabilistic safety assessment activities: illustration on a fire detection system embedded in a helicopter},
booktitle	=	{Proceedings PSAM'13},
publisher	=	{IPSAM},
address	=	{Seoul, South-Korea},
year	=	{2016}
}