@InProceedings{l02-p400-414, AUTHOR = {Fr\'ed\'eric Herbreteau and Franck Cassez and Alain Finkel and Olivier Roux and Gr\'egoire Sutre}, TITLE = {Verification of Embedded Reactive Fiffo Systems}, YEAR = 2002, BOOKTITLE = {Proc.~of the 5th Latin American Symposium on Theoretical Informatics (LATIN'02)}, ADDRESS = {Cancun, Mexico}, PAGES = {400--414}, KEYWORDS = {}}