Before revision: Although, AOP has moved into requirement engineering notation (cf.
After revision: Although, AOP has moved into requirement engineering