@article {190,
	title = {Automata-Based CSL Model Checking},
	journal = {Logical Methods in Computer Science},
	volume = {8},
	year = {2011},
	author = {Lijun Zhang and David N. Jansen and Flemming Nielson and Holger Hermanns}
}