@BOOK{spbook,
AUTHOR={N. Halbwachs},
TITLE={Synchronous programming of reactive systems},
PUBLISHER={Kluwer Academic Pub.},
YEAR={1993}
}