@INPROCEEDINGS{cesa96,
    AUTHOR = "C. Andr\'e and D. Gaff\'e",
    TITLE = "Proving Properties of {\sc Grafcet} with Synchronous Tools",
    YEAR = {1996},
   PAGES = {777--782},
    PUBLISHER = {IEEE-SMC},
    BOOKTITLE = {Computational Engineering in Systems Applications (CESA) },
    ADDRESS = {Lille (F)},
    MONTH = {July}
}