Regis, Germán E. Verificación de propiedades temporales de diseños CommUnity : Un caso de estudio Standard No.: DIF004156