Guide to
FTM
FSM modeling in Rational®