Ariss, Omar El, and Dianxiang Xu. 2012. “Secure system modeling: Integrating security attacks with statecharts”. International Journal of Software and Informatics 6 (2): 271-306. Last updated on 07/19/2023