Xiang, J., 		Liu, L., 		Yang, M., 		Zhou, S., 		Ye, L., 		Weng, C., 		Zhao, D., & 		Tian, J.
2018 out  8.  Crane: A Tool for Reliability Analysis with Different Coverage Models. Anais do Latin-American Symposium on Dependable Computing (LADC). [Online] :