Text this: Lógica Temporal en Verificación de Modelos de Software. Origen y Evolución hasta tiempos actuales.