Josenildo Melo, Aêda Sousa, Celso Sá Filho, Fernanda M. R. Alencar: Formalization of i* Mapping Rules for Class Diagram. iStar 2015: 97-102