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

Figure 10

Comparison of simulation results for the completion time of production orders.