@article{prosvirnova2015minimalcutsets,
author	=	{Tatiana Prosvirnova and Antoine Rauzy},
title	=	{Automated generation of Minimal Cutsets from AltaRica 3.0 models},
journal	=	{International Journal of Critical Computer-Based Systems},
volume	=	{6},
number	=	{1},
pages	=	{50--79},
publisher	=	{Inderscience Publishers},
year	=	{2015},
doi	=	{10.1504/IJCCBS.2015.068852},
pdffile	=	{ProsvirnovaRauzy2015-GenerationMinimalCutsets.pdf}
}