BibTex format
@article{Ezekiel:2016:10.1016/j.ic.2016.10.007,
author = {Ezekiel, J and Lomuscio, AR},
doi = {10.1016/j.ic.2016.10.007},
journal = {Information and Computation},
pages = {167--194},
title = {Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems},
url = {http://dx.doi.org/10.1016/j.ic.2016.10.007},
volume = {254},
year = {2016}
}