Ali Kanso Maria Toeroe Ferhat Khendek Abdelwahab Hamou-Lhadj Automatic Generation of AMF Compliant Configurations. 155-170 2008 ISAS http://dx.doi.org/10.1007/978-3-540-68129-8_13 conf/isas/2008 db/conf/isas/isas2008.html#KansoTKH08