Modelización del nivel de ingeniería de un modelo de proceso multinivel. Aplicación del método de análisis formal MATE - Acuña Castillo, Silvia Teresita; Maldonado, IP; Lescano, Mariela; Sosa, Mabel (Actas de JUCSE 2000, 2000)