Xiang, J., 		Liu, L., 		Yang, M., 		Zhou, S., 		Ye, L., 		Weng, C., 		Zhao, D., & 		Tian, J.
(2018).
Crane: A Tool for Reliability Analysis with Different Coverage Models.
In <em>Anais do VIII Latin-American Symposium on Dependable Computing</em>, (pp. 171-174). Porto Alegre: SBC.