@incollection{rauzy1995constraintsmodelchecking,
author	=	{Antoine Rauzy},
title	=	{{T}oupie: a {C}onstraint {L}anguage for {M}odel {C}hecking},
booktitle	=	{Constraints: Basics and Trends},
editor	=	{Maurice Nivat and Andreas Podelski},
publisher	=	{Springer Verlag (LNCS)},
volume	=	{910},
isbn	=	{3-540-59155-9},
pages	=	{193--207},
year	=	{1995}
}