Fundamentos de la programación en lógica temporal métrica - Cobo, María Laura. (2001)