Xiang, Jianwen, Lang Liu, Ming Yang, Siwei Zhou, Luyao Ye, Caisheng Weng, Dongdong Zhao, and Jing Tian.
"Crane: A Tool for Reliability Analysis with Different Coverage Models." <em>Anais do VIII Latin-American Symposium on Dependable Computing,
Foz do Iguaçu, 2018</em>. SBC, 2018,  
pp.171-174.