@INPROCEEDINGS{sp:cesa98,
    AUTHOR = "C. Andr\'e and D. Gaff\'e and M. Robert",
    TITLE = "Verifying Temporal Properties in GRAFCET",
    YEAR = {1998},
    PAGES = {38--43},
    PUBLISHER = {IEEE-SMC},
    BOOKTITLE = {Computational Engineering in Systems Applications (CESA) },
    VOLUME = {3},
    ADDRESS = {Hamammet (Tunisia)},
    MONTH = {April 1-4}
}