A Formal Description Method for Aspect-Oriented Statechart Based on CSP | IEEE Conference Publication | IEEE Xplore