Gérard Cécé Pierre-Cyrille Héam Yann Mainier Clôtures transitives de semi-commutations et model-checking régulier. 7-28 2008 27 Technique et Science Informatiques 1-2 http://tsi.revuesonline.com/article.jsp?articleId=11325 db/journals/tsi/tsi27.html#CeceHM08