J. Mi, Y. Li, H. Huang, Y. Liu, and X. Zhang. Quality, Reliability, Risk, Maintenance, and Safety Engineering (ICQR2MSE), 2012 International Conference on, page 1117--1121. IEEE, (2012)
T. Mantadelis, D. Shterionov, and G. Janssens. International Conference on Logic Programming and Nonmonotonic Reasoning, page 425--438. Springer, (2015)