3 additional famillies of LTL formulas for genltl
http://www.cs.huji.ac.il/~ornak/publications/mochart10.pdf
has 3 interesting famillies of LTL formulas we could implement in genltl.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information