store fsms in separated modules