@INPROCEEDINGS{cav:tutorial,
AUTHOR = {N. Halbwachs},
TITLE={Synchronous programming of reactive
systems, a tutorial and commented bibliography},
BOOKTITLE={Tenth International Conference on
Computer-Aided Verification, CAV'98},
address={Vancouver (B.C.)},
PUBLISHER = {LNCS 1427, Springer Verlag},
month = jun,
year = 1998
}