Arslan, F.; Hameed, S.; Imran, N.; Faheem, Z. B.; Ali, M. Enhancing Card Swipe Machines Using Mathematical Model With JFLAP Formal Methods and Automation: A Mathematical Model With JFLAP. VAWKUM trans. comput. sci. 2023, 11, 108-122.