Figure 2:
Simulation of the NO_KEYPRESSED_FORCES_ALARM temporal assertion under two scenarios.
Back to Article