Formalizing and Modeling Fairness for Benefit Distribution in Collaborations | IEEE Conference Publication | IEEE Xplore