Grégoire Sutre Alain Finkel Olivier Roux Franck Cassez Effective Recognizability and Model Checking of Reactive Fiffo Automata. 106-123 1998 conf/amast/1998 AMAST http://link.springer.de/link/service/series/0558/bibs/1548/15480106.htm db/conf/amast/amast98.html#SutreFRC98