by Ben-Amram, Amir M., Genaim, Samir, Masud, Abu Naser
Published in Verification, Model Checking, and Abstract Interpretation (2012)