[LiZZPVH18] An explicit transition system construction approach to LTL satisfiability checking Li, J.; Zhang, L.; Zhu, S.; Pu, G.; Vardi, M. Y. and He, J. In Formal Aspects Comput., 30: 193-217, 2018. doi.. 
Downloads: bibURL: https://doi.org/10.1007/s00165-017-0442-2