Funes, Ana <br/><br/>
Integrando modelos en UML y especificaciones formales 

 - p. 206-209 
<br/><br/><label>Standard No.: </label>DIF-M4710