"Generating Linear Temporal Logic Formulas for Pattern-Based Specifications."

Salamah Salamah, Vladik Kreinovich, Ann Q. Gates (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics