Kuhtzand Finkbeiner. Weak Kripke Structures and LTL. Springer Berlin Heidelberg, 2011, doi:10.1007/978-3-642-23217-6_28.