@misc{indiciae19fe03c8e3ef,
  title = {Efficient CSL Model Checking Using Stratification},
  author = {Lijun Zhang and David N. Jansen and Flemming Nielson and Holger Hermanns},
  year = {2012},
  doi = {10.2168/lmcs-8(2:17)2012},
  url = {https://arxiv.org/abs/1104.4983},
  note = {Source identifier: 1104.4983}
}