An Aspectual State Model and its Realization Based on AOP | IEEE Conference Publication | IEEE Xplore