Didier Bégay Antoine Rauzy A realistic involvement of formal methods. 191-208 2001 31 Softw., Pract. Exper. 2 db/journals/spe/spe31.html#BegayR01