@inproceedings{GKS14, author = {O. Grumberg and O. Kupferman and S. Sheinvald}, title = {A Game-Theoretic Approach to Simulation of Data-Parameterized Systems}, booktitle = atva14, pages = {348-363}, publisher = {Springer}, series = lncs, volume = {}, year = {2014} }