@inproceedings{arthozweimueller-etal07,
  author = {C. Artho and B. Zweim\"{u}ller and A. Biere and S. Honiden},
  title = {Efficient Model Checking of Applications with {I/O}},
  booktitle = {Proc.\ 11th Int.\  Conf.\ on Computer Aided Systems Theory (Eurocast~2007)},
  year = {2007},
  address = {Las Palmas de Gran Canaria, Spain},
}