MBOT can efficiently be used (with computational benefits) as an alternative representation for transformations computed by STSG (or compositions of STSG).
mBOT can also compute transformations, of which the domain or range cannot be represented by a TSG.