Guide to FTM FSM modeling in Rational®