(signal[-1] <= k) AND (signal > k) WHEN (delta = 0) ((signal[-1] - signal[-2]) <= k) AND ((signal - signal[-1]) > k) OTHERWISE

Valid_In AND o1

(count >= min) AND (count <= max)

0 WHEN (event = 1) (o001[-1] + 1) WHEN (event = 0 AND (o001 > (max))) (o001[-1]) OTHERWISE