Especificación formal de sistemas de información temporalizados - Montes López, María Lourdes (2000)