A time-window based approach for dynamic assertions mining on control signals | IEEE Conference Publication | IEEE Xplore