@inproceedings{arthosommer-etal07,
  author = {C. Artho and C. Sommer and S. Honiden},
  title = {Model Checking Networked Programs in the Presence of Transmission Failures},
  booktitle = {Proc.\ 1st Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE~2007)},
  year = {2007},
  pages = {219--228},
  publisher = {IEEE Computer Society},
  address = {Shanghai, China},
}