"LTL Store: Repository of LTL formulae from literature and case studies."

Jan Kretínský, Tobias Meggendorfer, Salomon Sickert (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics