Aspect-Oriented Modeling and Verification with Finite State Machines. - Dianxiang Xu; Omar el Ariss; Weifeng Xu; Lin-Zhang Wang (J. Comput. Sci. Technol., 2009)