Técnicas para el análisis de la consistencia de modelos en el desarrollo de software embarcado. Evaluación del riesgo de interbloqueo - Fernandez Sanchez, Jose Luis (Director) Doctorando: MONZON DIAZ, Antonio Jesús (2010)