Design and Implementation of Runtime Verification Framework for Cyber-Physical Production Systems

Figure 4

CPPS models based on ECML.