"From Linear Temporal Logic Properties to Rewrite Propositions."

Pierre-Cyrille Héam, Vincent Hugot, Olga Kouchnarenko (2012)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics