@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}, }