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)