Xiang, Jianwen, 		Liu, Lang, 		Yang, Ming, 		Zhou, Siwei, 		Ye, Luyao, 		Weng, Caisheng, 		Zhao, Dongdong, Y 		Tian, Jing.
" Crane: A Tool for Reliability Analysis with Different Coverage Models" <em>Anais do Latin-American Symposium on Dependable Computing (LADC)</em> [En línea], (8 octubre 2018)