J. Xiang et al."Crane: A Tool for Reliability Analysis with Different Coverage Models", in Anais do VIII Latin-American Symposium on Dependable Computing, Foz do IguaƧu, 2018, pp. 171-174.