F. Arslan, S. Hameed, N. Imran, Z. B. Faheem, and M. Ali, “Enhancing Card Swipe Machines using Mathematical Model with JFLAP Formal Methods and Automation: A Mathematical Model with JFLAP”, VAWKUM trans. comput. sci., vol. 11, no. 1, pp. 108–122, Mar. 2023.