integrare是一款行为树编辑软件,并能够将行为树转换为SAL代码进行模型检测