@inproceedings{BauerSchaeferTobenWestphal2006,
  author       = {J\"{o}rg Bauer and Ina Schaefer and Tobe Toben and Bernd Westphal},
  title        = "Specification and Verification of Dynamic Communication Systems",
  year         = "2006",
  booktitle    = "Sixth International Conference on Application of Concurrency to System Design, 2006. ACSD 2006.",
  pages        = "189--200",
  publisher    = "IEEE Computer Society Press"
}