@article{conf: oopsla2022,
  author    = {Si Liu and
               Jos{\'{e}} Meseguer and
               Peter Csaba {\"{O}}lveczky and
               Min Zhang and
               David A. Basin},
  title     = {Bridging the semantic gap between qualitative and quantitative models
               of distributed systems},
  journal   = {Proc. {ACM} Program. Lang.},
  volume    = {6},
  number    = {{OOPSLA2}},
  pages     = {315--344},
  year      = {2022},
  url       = {https://doi.org/10.1145/3563299},
  doi       = {10.1145/3563299},
  biburl    = {https://dblp.org/rec/journals/pacmpl/LiuMOZB22.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}