@article {FAOC2016_MolnarEtAl,
	title = {Component-wise Incremental LTL Model Checking},
	journal = {Formal Aspects of Computing},
	volume = {28},
	year = {2016},
	month = {05/2016},
	pages = {345-379},
	publisher = {Springer},
	type = {Original Article},
	keywords = {Component-wise abstraction, Incremental algorithm, LTL, saturation, SCC computation, Symbolic model checking},
	issn = {0934-5043},
	doi = {10.1007/s00165-015-0347-x},
	url = {http://petridotnet.inf.mit.bme.hu/publications/FAOC2015_MolnarEtAl.pdf},
	author = {Vince Moln{\'a}r and Andr{\'a}s V{\"o}r{\"o}s and D{\'a}niel Darvas and Tam{\'a}s Bartha and Istv{\'a}n Majzik}
}
