We thank Peter Lang Publisher for allowing us to use the relevant contents of the book (Yang, 2007) in this article.
the condition given by the input specification is t t =t r , while the condition required by the REP aspect is t t <t r .