Omega - A Data Flow Analysis Tool for the C Programming Language. - Cindy Wilson; Leon J. Osterweil (IEEE Trans. Software Eng., 1985)