@article{artho-eurocast2007,
  author={C. Artho and B. Zweim\"{u}ller and A. Biere and E. Shibayama and S. Honiden},
  title={Efficient Model Checking of Applications with Input/Output},
  journal={Post-proceedings of 11th Int.\  Conf.\ on Computer Aided Systems Theory (Eurocast~2007)},
  year={2007},
  volume = {4739},
  number = {},
  pages = {515--522},
  publisher={Springer},
  series = {LNCS},
}