Automatic Transactor Generation in TLM by Exploiting EFSMs