A SAT-based technique to analyse networks of finite automata