@inproceedings{brlek1994Synchronization,
author	=	{Srecko Brlek and Antoine Rauzy},
title	=	{{S}ynchronization of {C}onstrained {T}ransition {S}ystems},
booktitle	=	{Proceedings of the First International Symposium on Parallel Symbolic Computation (PASCO'94)},
publisher	=	{World Scientific Publishing},
address	=	{Linz, Ostreich},
editor	=	{H. Hong},
pages	=	{54--62},
year	=	{1994}
}