The BFSM Algorithm The transition rules The description of BFSM *Rule selection Policy State Clusters for scalability purpose +NEsN.4 HThe BFSM Algorithm • The transition rules • The description of BFSM • *Rule Selection Policy • *State Clusters for scalability purpose