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