tBNDC: Timed Version of Bi-Simulation-Based Non-Deducibility on Compositions

What does tBNDC mean? The above is one of tBNDC meanings. It may have other definitions. Please refer to the end of this passage.

Definition in English: Timed Version of Bi-Simulation-Based Non-Deducibility on Compositions