Especificación de sistemas temporalizados : la Biblioteca TempER-Z. - Lourdes Montes, María