Verification of Liveness Property for Communicating FSM's with Conditional Transitions Depending on State Visiting Numbers.