Especificación y Análisis de Sistemas de Tiempo Real en Teoría de Tipos