On the use of delay timers and latches for efficient alarm design | IEEE Conference Publication | IEEE Xplore