How does the Gurobi "Model.computeIIS()" work

Hi,

I am working on the mixed-integer QCQP problems, and I found that when the model is infeasible, the command"Model.computeIIS()" can return which constraints are conflicted. I am interested in how does it work, is there any reference and examples I can refer to?

Thanks 

Sean