时间约束层次细化工作流建模及验证研究

• Modeling and verification of timing constraint hierarchical refinement workflow