Rahli, V.; Guaspari, D.; Bickford, M.; Constable, R. Formal Specification, Verification, and Implementation of Fault-Tolerant Systems Using EventML. eceasst 2015, 72.