Jianwen Xiang <em>et al. </em>2018.
Crane: A Tool for Reliability Analysis with Different Coverage Models. In <em>Anais do VIII Latin-American Symposium on Dependable Computing</em>, outubro 08, 2018, Foz do Iguaçu, Brasil. SBC, Porto Alegre, Brasil, 171-174.