Test generation for networks of interacting FSMs using symbolic techniques