Vince Molnár, András Vörös, Dániel Darvas, Tamás Bartha, István Majzik: Component-wise incremental LTL model checking. Formal Aspects Comput. 28(3): 345-379 (2016)