@article {362,
	title = {Incremental Bisimulation Abstraction Refinement},
	journal = {{ACM} Trans. Embedded Comput. Syst.},
	volume = {13},
	year = {2014},
	pages = {142:1{\textendash}142:23},
	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}
}