BDD and FSM - the link