实时嵌入式系统协调设计的行为验证模型

• Behavioral Verification Model for Real Time Embedded System