Rahli, Vincent, David Guaspari, Mark Bickford, and Robert Constable. “Formal Specification, Verification, and Implementation of Fault-Tolerant Systems Using EventML”. Electronic Communications of the EASST 72 (November 25, 2015). Accessed August 5, 2025. https://www.eceasst.org/index.php/eceasst/article/view/2195.