@inproceedings{GKS13, author = {O. Grumberg and O. Kupferman and S. Sheinvald}, title = {An Automata-Theoretic Approach to Reasoning about Parameterized Systems and Specifications}, booktitle = atva13, pages = {3997-411}, publisher = {Springer}, series = lncs, volume = {8172}, year = {2013} }