Malika Benammar Faiza Belala Fateh Latreche AADL behavioral annex based on generalized rewriting logic. 1-8 2008 RCIS http://dx.doi.org/10.1109/RCIS.2008.4632087 conf/rcis/2008 db/conf/rcis/rcis2008.html#BenammarBL08