V. Rahli, D. Guaspari, M. Bickford, and R. Constable, “Formal Specification, Verification, and Implementation of Fault-Tolerant Systems using EventML”, eceasst, vol. 72, Nov. 2015.