Test generation for networks of interacting FSMs using symbolic techniques | IEEE Conference Publication | IEEE Xplore