@inproceedings{GKS12,
  author    = {O. Grumberg and O. Kupferman and S. Sheinvald},
  title     = {Model Checking Systems and Specifications with Parameterized
               Atomic Propositions},
  booktitle = atva12,
  year      = {2012},
  pages     = {122-136}
  }