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 December 4, 2024. https://eceasst.org/index.php/eceasst/article/view/2195.