@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} }