@inproceedings{ibanezlano2008variableordering,
author	=	{Christina Iba\~nez-Llanoo and Antoine Rauzy and Enrique Mel\'endez~Asensio and Fernando Nieto-Fuentes},
title	=	{Variable Ordering techniques for the application of Binary Decision Diagrams on PSA linked Fault Tree models},
booktitle	=	{Proceeding of the ESREL 2008 Conference},
year	=	{2008}
}