Envoyer la notice par courriel: Especificación y Análisis de Sistemas de Tiempo Real en Teoría de Tipos