FACT: a Tool for Code Generation from Communicating Automata