Luna, Carlos Daniel <br/><br/>
Combinando "Model Checking" y "Proof Checking" en el análisis de sistemas de tiempo real 

 - p. 554-558 
<br/><br/><label>Standard No.: </label>DIF-M4783