XIANG, Jianwen; 						LIU, Lang; 						YANG, Ming; 						ZHOU, Siwei; 						YE, Luyao; 						WENG, Caisheng; 						ZHAO, Dongdong; 						TIAN, Jing.
Crane: A Tool for Reliability Analysis with Different Coverage Models. <em>In</em>:  LATIN-AMERICAN SYMPOSIUM ON DEPENDABLE COMPUTING (LADC), 8.	, 2018, Foz do Iguaçu.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2018
.
 p. 171-174.