实时逻辑指定系统的有效验证和优化| IEEE期刊和杂志| IEEE Xplore