Junghee Lim, Akash Lal, Thomas W. Reps: Symbolic analysis via semantic reinterpretation. Int. J. Softw. Tools Technol. Transf. 13(1): 61-87 (2011)