@inproceedings{batteux2019patternsmaintenance,
author	=	{Michel Batteux and Tatiana Prosvirnova and Antoine Rauzy},
title	=	{Modeling Patterns for the Assessment of Maintenance Policies with AltaRica 3.0},
booktitle	=	{Model-Based Safety and Assessment},
editor	=	{Yiannis Papadopoulos and Koorosh Aslansefat and Panagiotis Katsaros and Marco Bozzano},
publisher	=	{Springer},
series	=	{LCNS},
volume	=	{11842},
pages	=	{32--46},
address	=	{Thessaloniki, Greece},
year	=	{2019},
isbn	=	{978-3-030-32871-9},
pdffile	=	{BatteuxProsvirnovaRauzy2019-ModelingPatternsMaintenance.pdf}
}