@article {279,
	title = {Incremental Bisimulation Abstraction Refinement},
	journal = {ACM Trans. Embed. Comput. Syst.},
	volume = {13},
	year = {2014},
	pages = {142:1{\textendash}142:23},
	keywords = {Bisimulation, CEGAR, Probabilistic Automata},
	issn = {1539-9087},
	doi = {10.1145/2627352},
	url = {http://doi.acm.org/10.1145/2627352},
	author = {Lei Song and Lijun Zhang and Holger Hermanns and Jens Chr. Godskesen}
}