STATEMATE:复杂反应系统开发的工作环境| IEEE杂志| IEEE Xplore