@INPROCEEDINGS{euromicro00,
    AUTHOR = "F.Mallet and D.Gaff\'e and F.Bo\'eri",
    TITLE = "Concurrent Control Systems: From Grafcet to VHDL",
    BOOKTITLE = {EUROMICRO},
    YEAR = {2000},
    PAGES = {1230-1234},
    PUBLISHER = {IEEE},
    ADDRESS = {Maastricht (The Netherlands)},
    MONTH = {September},
    ISBN = {0-7695-0780-8}

}