@inproceedings{KaufmannKPSW13,
  author    = {Petra Kaufmann and Martin Kronegger and Andreas Pfandler and Martina Seidl and Magdalena Widl},
  title     = {Global State Checker: Towards SAT-Based Reachability Analysis of Communicating State Machines},
  booktitle = {Proc. of the 10th Model-Driven Engineering, Verification, and Validation Workshop (MoDeVVa 2013) colocated with MODELS 2013},
  date      = {October 1, 2013},
  editor    = {Fr{\'e}d{\'e}ric Boulanger and Michalis Famelis and Daniel Ratiu},
  location  = {Miami, Florida},
  year      = {2013},
  month     = {October}
  pages     = {31--40},
  publisher = {},
  number    = {1069},
  series    = {CEUR Workshop Proceedings},
  ee        = {http://ceur-ws.org/Vol-1069/06-paper.pdf},
}