为了描述信息物理融合系统（cyber-physical systems,CPS）的时空一致性,一种实时规范语言STeC已经提出,CPS的设计和实现能否满足时空-......