Leon J. Osterweil, Lori A. Clarke, Jamieson M. Cobleigh, "The Right Algorithm at the Right Time: Comparing Data Flow Analysis Algorithms for Finite State Verification", Software Engineering, International Conference on vol. 00 no. , p. 0037, , 2001