Generating finite state machines from abstract state machines

Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes. Generating finite state machines from abstract state machines. In ISSTA. pages 112-122, 2002. [doi]

@inproceedings{GrieskampGSV02,
  title = {Generating finite state machines from abstract state machines},
  author = {Wolfgang Grieskamp and Yuri Gurevich and Wolfram Schulte and Margus Veanes},
  year = {2002},
  doi = {10.1145/566172.566190},
  url = {http://doi.acm.org/10.1145/566172.566190},
  tags = {state machines, abstract machine},
  researchr = {https://researchr.org/publication/GrieskampGSV02},
  cites = {0},
  citedby = {0},
  pages = {112-122},
  booktitle = {ISSTA},
}