@article {Journals CACM,
  author       = {David A. Basin and
                  Nate Foster and
                  Kenneth L. McMillan and
                  Kedar S. Namjoshi and
                  Cristina Nita{-}Rotaru and
                  Jonathan M. Smith and
                  Pamela Zave and
                  Lenore D. Zuck},
  title        = {It Takes a Village: Bridging the Gaps between Current and Formal Specifications
                  for Protocols},
  journal      = {Commun. {ACM}},
  volume       = {68},
  number       = {8},
  pages        = {50--61},
  year         = {2025},
  url          = {https://doi.org/10.1145/3706572},
  doi          = {10.1145/3706572},
  biburl       = {https://dblp.org/rec/journals/cacm/BasinFMNNSZZ25.bib},
}