Ganguly, R., Xue, Y., Jonckheere, A., Ljung, P., Schornstein, B., Bonakdarpour, B., & Herlihy, M. (2022). Distributed Runtime Verification of Metric Temporal Properties for Cross-Chain Protocols. In (pp. 23–33). Bologna, Italy: IEEE. http://doi.org/10.1109/ICDCS54860.2022.00012 (Original work published 2025)