Algunas publicaciones incluyen la especificación del tiempo de las transiciones en forma separada.