Transformation of aspect-oriented requirements specifications for reactive systems into aspect-oriented design specifications | IEEE Conference Publication | IEEE Xplore