@inproceedings{dutuit1997loopedmodels,
author	=	{Yves Dutuit and Antoine Rauzy},
title	=	{Handling Boolean Models with Loops},
booktitle	=	{Proceedings of European Safety and Reliability Association Conference, ESREL'97},
editor	=	{Carlos Guedes-Soares},
publisher	=	{Pergamon},
volume	=	{3},
note	=	{ISBN 0-08-042835-5},
pages	=	{2063--2070},
year	=	{1997}
}