A white-box policy analysis and its efficient implementation. - Jayalakshmi Balasubramaniam; Philip W. L. Fong (SACMAT, 2013)