Si consideri il seguente requisito:
RQ1:  Durante l'esecuzione del programma (cioč per tutti gli istanti di tempo positivi) la variabile x č sempre nell'intervallo [0, 5] oppure [10, 15]
Quale dei seguenti monitor meglio descrive il requisito RQ1 ?