A Tool for Equivalence Verification of TLMs using Model Algebra

Lochi Yu, Samar Abdi, Daniel Gajski, "A Tool for Equivalence Verification of TLMs using Model Algebra", TR 08-04, February 28, 2008. download pdf