TRANSITIONS (Explicit)

LCSS (Explicit)