Integrating statechart assertions into Java components using AspectJ | IEEE Conference Publication | IEEE Xplore