@conference {171,
	title = {Incremental Bisimulation Abstraction Refinement},
	booktitle = {Application of Concurrency to System Design (ACSD), 2013 13th International Conference on},
	year = {2013},
	pages = {11-20},
	doi = {10.1109/ACSD.2013.5},
	author = {Lei Song and Lijun Zhang and Holger Hermanns and Jens Chr. Godskesen}
}