Multiple MFSMs running with threads