TTL’s offering is mid-tier – less expensive than Hot Toys but less durable than TBLeague.
," it is highly likely that your query refers to the paper . This paper, published in the Journal of Computer and System Sciences in 2003, introduces Templated T-LOTOS (TTL) , an extension of the formal description technique T-LOTOS used to specify complex concurrent and distributed systems. Overview of TTL (Templated T-LOTOS) TTL Models - Carina Zapata 007