@misc {IOPORT.70212895,
    author       = {Zhang, Lijun and Jansen, David N. and Nielson, Flemming and Hermanns, Holger},
    title        = {Automata-based CSL model checking},
    howpublished = {ICALP (2), 271-282 (2011).},
    year         = {2011},
    doi          = {10.1007/978-3-642-22012-8_21},
    identifier   = {70212895},
}