Arslan, F., Hameed, S., Imran, N., Faheem, Z. B., & Ali, M. (2023). Enhancing Card Swipe Machines using Mathematical Model with JFLAP Formal Methods and Automation: A Mathematical Model with JFLAP. VAWKUM Transactions on Computer Sciences, 11(1), 108–122. https://doi.org/10.21015/vtm.v11i1.1208