Arslan, F. (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), pp. 108–122. doi: 10.21015/vtm.v11i1.1208.