The right algorithm at the right time: comparing data flow analysis algorithms for finite state verification | IEEE Conference Publication | IEEE Xplore