Xu, Dian-Xiang, Omar El-Ariss, Wei-Feng Xu, and Lin-Zhang Wang. 2009. “Aspect-Oriented Modeling and Verification With Finite State Machines”. Journal of Computer Science and Technology 24 (5): 949-61. Last updated on 07/19/2023