严密系统设计博士论文,RigorousSystem-levelModelingandPerformanceEvaluationforEmbeddedSystemDesign