嵌入式实时软件需求规格说明的原型化检测方法

• A Prototyping Method Checking Requirements Specification of Embedded Real-Time Software