FSM.drt