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