Initial commit of rFSM model in Xcore.