Liana Bozga Cristian Ene Romain Janvier Yassine Lakhnech Laurent Mazaré Michaël Périn Automatic Verification of Security Properties Based on Abstractions. 23-53 2005 conf/vissas/2005 VISSAS db/conf/vissas/vissas2005.html#BozgaEJLMP05