AADL behavioral annex based on generalized rewriting logic | IEEE Conference Publication | IEEE Xplore