Added simulation of DFSMs