MANTEMA: a complete rigorous methodology for supporting maintenance based on the ISO/IEC 12207 standard | IEEE Conference Publication | IEEE Xplore