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

Back to Article